idris-lang/Idris-dev
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris-dev.git synced 2024-10-04 01:50:20 +03:00
Code Issues Projects Releases Wiki Activity
10,137 Commits 5 Branches 44 Tags 44 MiB

Default Branch

master

cf78f0fb33 · Merge pull request #4926 from Vekhir/patch-1 · Updated 2024-01-02 23:47:46 +03:00
 ZIP  TAR.GZ

Branches

melted-patch-1

22da81544b · Revert newer haskeline · Updated 2020-06-06 15:35:42 +03:00
68
0
 Included
 ZIP  TAR.GZ
haskeline_bound

2a947e54e6 · Allow newer haskeline · Updated 2020-06-06 15:29:44 +03:00
70
0
 Included
 ZIP  TAR.GZ
appveyor-fix

47d5336e44 · Fix Appveyor by pinning cabal · Updated 2019-10-21 15:10:13 +03:00
290
0
 Included
 ZIP  TAR.GZ
enable-8.4

b780ddbca4 · Let's try Ubuntu xenial · Updated 2018-12-26 16:37:53 +03:00
495
2
 ZIP  TAR.GZ