This website requires JavaScript.
Explore
Help
Sign In
idris-lang
/
Idris2
Watch
1
Star
1
Fork
0
You've already forked Idris2
mirror of
https://github.com/idris-lang/Idris2.git
synced
2024-12-28 14:11:53 +03:00
Code
Issues
Projects
Releases
Wiki
Activity
0 Releases
9 Tags
RSS Feed
Tags
v0.7.0
2023-12-22 16:53:08 +03:00
27780073c8
ZIP
TAR.GZ
v0.6.0
2022-10-27 18:41:13 +03:00
102d7ebc18
ZIP
TAR.GZ
v0.5.1
2021-09-20 09:51:33 +03:00
bf0a157253
ZIP
TAR.GZ
v0.5.0
2021-09-18 18:07:34 +03:00
ada3eb4449
ZIP
TAR.GZ
v0.4.0
2021-06-23 21:37:12 +03:00
ea1ad1688f
ZIP
TAR.GZ
v0.3.0
2021-01-13 18:01:30 +03:00
bd94dbdd8e
ZIP
TAR.GZ
v0.2.2
2021-01-12 16:53:17 +03:00
37c325e417
ZIP
TAR.GZ
v0.2.1
2020-08-16 16:33:20 +03:00
db9f7bbf0d
ZIP
TAR.GZ
v0.2.0
2020-05-25 16:43:10 +03:00
697a71aef1
ZIP
TAR.GZ