idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-11 06:14:41 +03:00
Code Issues Projects Releases Wiki Activity
2,063 Commits 5 Branches 9 Tags 109 MiB
b946ec0277
Commit Graph

1 Commits

Author SHA1 Message Date
Stefan Höck
f028981e5a
[ fix #801 ] Use Number for up to 32 bit integers on JS backends (#1375) 2021-05-10 12:17:09 +01:00