ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-08-16 12:10:39 +03:00
Code Issues Projects Releases Wiki Activity
10,023 Commits 4 Branches 42 Tags 40 MiB

Default Branch

master

c6c928f76c · Merge pull request #4827 from ilyakooo0/lts-15.3 · Updated 2020-03-20 15:36:59 +03:00
 ZIP  TAR.GZ

Branches

lts-15.3

dba5ef4267 · Added note · Updated 2020-03-19 00:28:19 +03:00
12
0
 Included
 ZIP  TAR.GZ
appveyor-fix

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

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