Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Feb 20, 2020

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

  joaomilho

  committedFeb 20, 2020
  0938a73

Commits on Jan 24, 2020

• fix: broken link

  brakmic

  committedJan 24, 2020
  ec75033

Commits on Aug 20, 2019

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

  Juan Lulkin

  committedAug 20, 2019
  6adf450

Commits on Aug 3, 2019

• Add gidti to the Books section

  bor0

  committedAug 3, 2019
  5595cf2

Commits on May 18, 2019

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

  Juan Lulkin

  committedMay 18, 2019
  22f77bf

• Merge branch 'master' into idris-ct

  Juan Lulkin

  committedMay 18, 2019
  142cff7

• Merge pull request #8 from marcosh/typedefs

  Juan Lulkin

  committedMay 18, 2019
  5623693

Commits on May 4, 2019

• add idris-ct library to projects section

  marcosh

  committedMay 4, 2019
  aead26e

• add typedefs to projects

  marcosh

  committedMay 4, 2019
  c6a9d0a

Commits on Dec 21, 2018

• Merge pull request #7 from marcesquerra/master

  Juan Lulkin

  committedDec 21, 2018
  63c3105

Commits on Nov 28, 2018

• Add a section about build tools

  marcesquerra

  committedNov 28, 2018
  c4173a3

Commits on Nov 21, 2018

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

  Juan Lulkin

  committedNov 21, 2018
  f6a473b

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

  Juan Lulkin

  committedNov 21, 2018
  56b9a42

Commits on Nov 12, 2018

• Fixed the broken path of Software Foundations

  renovatorruler

  committedNov 12, 2018
  60e415f

Commits on Oct 30, 2018

• Remove broken links

  gpoussel

  committedOct 30, 2018
  d635961

Commits on Oct 13, 2017

• Adds papers section

  Juan Lulkin

  committedOct 13, 2017
  a9d059a

Commits on Oct 12, 2017

• Makes all descs start with upcase

  Juan Lulkin

  committedOct 12, 2017
  deedee8

• Adds dots in all descs

  Juan Lulkin

  committedOct 12, 2017
  01837e5

• Update GitHub case

  Juan Lulkin

  committedOct 12, 2017
  e58324d

• Update Github to GitHub

  Juan Lulkin

  committedOct 12, 2017
  ce69cb5

Commits on Oct 6, 2017

• Adds Community Standards

  Juan Lulkin

  committedOct 6, 2017
  3ef0ea5

• Fix official resources link

  Juan Lulkin

  committedOct 6, 2017
  3d44162

• Adds community section, description and fix some English.

  Juan Lulkin

  committedOct 6, 2017
  b6cc5ae

Commits on Sep 26, 2017

• Adds link to idris website

  Juan Lulkin

  committedSep 26, 2017
  41960c7

• Fix logo

  Juan Lulkin

  committedSep 26, 2017
  c13161a

• Fix logo position

  Juan Lulkin

  committedSep 26, 2017
  993531d

• Adds logo to the top

  Juan Lulkin

  committedSep 26, 2017
  e012823

Commits on Sep 14, 2017

• Adds contributing.md

  Juan Lulkin

  committedSep 14, 2017
  b3233d5

• Adds awesome badge

  Juan Lulkin

  committedSep 14, 2017
  70805e0

Commits on Aug 2, 2017

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

  Juan Lulkin

  committedAug 2, 2017
  f0a411e

Commits on Jul 31, 2017

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

  Juan Lulkin

  committedJul 31, 2017
  3354235

• Merge pull request #3 from xaviervia/master

  Juan Lulkin

  committedJul 31, 2017
  4d4dae1

• Update README.md

  xaviervia

  committedJul 31, 2017
  7d5ac8d

• add more projects

  clayrat

  committedJul 31, 2017
  c1ecba1

• Initial list of resources

  Juan Lulkin

  committedJul 31, 2017
  91fd6ec

Pagination

PreviousNext