Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 20, 2020

• Merge pull request #11 from brakmic/small-fixes

  Show description for 0938a73
  joaomilho

  authored
  0938a73

  Copy full SHA for 0938a73

Commits on Jan 24, 2020

• fix: broken link

  brakmic

  committed
  ec75033

  Copy full SHA for ec75033

Commits on Aug 20, 2019

• Merge pull request #10 from bor0/patch-1

  Show description for 6adf450
  

  Juan Lulkin

  authored
  6adf450

  Copy full SHA for 6adf450

Commits on Aug 3, 2019

• Add gidti to the Books section

  bor0

  authored
  5595cf2

  Copy full SHA for 5595cf2

Commits on May 18, 2019

• Merge pull request #9 from marcosh/idris-ct

  Show description for 22f77bf
  

  Juan Lulkin

  authored
  22f77bf

  Copy full SHA for 22f77bf

• Merge branch 'master' into idris-ct

  

  Juan Lulkin

  authored
  142cff7

  Copy full SHA for 142cff7

• Merge pull request #8 from marcosh/typedefs

  Show description for 5623693
  

  Juan Lulkin

  authored
  5623693

  Copy full SHA for 5623693

Commits on May 4, 2019

• add idris-ct library to projects section

  marcosh

  committed
  aead26e

  Copy full SHA for aead26e

• add typedefs to projects

  marcosh

  committed
  c6a9d0a

  Copy full SHA for c6a9d0a

Commits on Dec 21, 2018

• Merge pull request #7 from marcesquerra/master

  Show description for 63c3105
  

  Juan Lulkin

  authored
  63c3105

  Copy full SHA for 63c3105

Commits on Nov 28, 2018

• Add a section about build tools

  marcesquerra

  committed
  c4173a3

  Copy full SHA for c4173a3

Commits on Nov 21, 2018

• Merge pull request #5 from gpoussel/patch-1

  Show description for f6a473b
  

  Juan Lulkin

  authored
  f6a473b

  Copy full SHA for f6a473b

• Merge pull request #6 from prashantpawar/patch-1

  Show description for 56b9a42
  

  Juan Lulkin

  authored
  56b9a42

  Copy full SHA for 56b9a42

Commits on Nov 12, 2018

• Fixed the broken path of Software Foundations

  renovatorruler

  authored
  60e415f

  Copy full SHA for 60e415f

Commits on Oct 30, 2018

• Remove broken links

  gpoussel

  authored
  d635961

  Copy full SHA for d635961

Commits on Oct 13, 2017

• Adds papers section

  

  Juan Lulkin

  authored
  a9d059a

  Copy full SHA for a9d059a

Commits on Oct 12, 2017

• Makes all descs start with upcase

  

  Juan Lulkin

  authored
  deedee8

  Copy full SHA for deedee8

• Adds dots in all descs

  

  Juan Lulkin

  authored
  01837e5

  Copy full SHA for 01837e5

• Update GitHub case

  

  Juan Lulkin

  authored
  e58324d

  Copy full SHA for e58324d

• Update Github to GitHub

  

  Juan Lulkin

  authored
  ce69cb5

  Copy full SHA for ce69cb5

Commits on Oct 6, 2017

• Adds Community Standards

  

  Juan Lulkin

  authored
  3ef0ea5

  Copy full SHA for 3ef0ea5

• Fix official resources link

  

  Juan Lulkin

  authored
  3d44162

  Copy full SHA for 3d44162

• Adds community section, description and fix some English.

  

  Juan Lulkin

  authored
  b6cc5ae

  Copy full SHA for b6cc5ae

Commits on Sep 26, 2017

• Adds link to idris website

  

  Juan Lulkin

  authored
  41960c7

  Copy full SHA for 41960c7

• Fix logo

  

  Juan Lulkin

  authored
  c13161a

  Copy full SHA for c13161a

• Fix logo position

  

  Juan Lulkin

  authored
  993531d

  Copy full SHA for 993531d

• Adds logo to the top

  

  Juan Lulkin

  authored
  e012823

  Copy full SHA for e012823

Commits on Sep 14, 2017

• Adds contributing.md

  

  Juan Lulkin

  authored
  b3233d5

  Copy full SHA for b3233d5

• Adds awesome badge

  

  Juan Lulkin

  authored
  70805e0

  Copy full SHA for 70805e0

Commits on Aug 2, 2017

• Add idris source file to force GitHub to think this is an Idris repo :D

  

  Juan Lulkin

  committed
  f0a411e

  Copy full SHA for f0a411e

Commits on Jul 31, 2017

• Merge pull request #2 from clayrat/patch-1

  Show description for 3354235
  

  Juan Lulkin

  authored
  3354235

  Copy full SHA for 3354235

• Merge pull request #3 from xaviervia/master

  Show description for 4d4dae1
  

  Juan Lulkin

  authored
  4d4dae1

  Copy full SHA for 4d4dae1

• Update README.md

  xaviervia

  authored
  7d5ac8d

  Copy full SHA for 7d5ac8d

• add more projects

  clayrat

  authored
  c1ecba1

  Copy full SHA for c1ecba1

• Initial list of resources

  

  Juan Lulkin

  authored
  91fd6ec

  Copy full SHA for 91fd6ec

Pagination

Previous

Next