idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-23 14:18:02 +03:00
Code Issues Projects Releases Wiki Activity
3,769 Commits 5 Branches 9 Tags 96 MiB

Default Branch

main

b944062137 · [ fix ] Address some proofs of void via impossible from issues #2250 and #3276 (#3396) · Updated 2024-11-23 06:38:54 +03:00
 ZIP  TAR.GZ

Branches

gh-pages

35983f53e9 · Deploying to gh-pages from @ idris-lang/Idris2@b944062137 🚀 · Updated 2024-11-23 07:01:37 +03:00
3769
477
 ZIP  TAR.GZ
autobind-application

ea9433a506 · add test file · Updated 2024-10-03 00:55:39 +03:00
302
30
 ZIP  TAR.GZ
revert-2469-trans-deps

932a24baa1 · Revert "make depends collect all transitive dependencies (#2469)" · Updated 2022-05-21 08:49:07 +03:00
918
0
 Included
 ZIP  TAR.GZ
v0211-compat

37c325e417 · Compatibility fix (again) · Updated 2021-01-12 16:53:17 +03:00
2786
12
 ZIP  TAR.GZ