idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-18 08:42:11 +03:00
Code Issues Projects Releases Wiki Activity
b3216758e9
Idris2/libs
History
Rui Barreiro b3216758e9 Merge branch 'master' of github.com:idris-lang/Idris2 into javascript
2020-07-06 11:32:59 +01:00
..
base Merge branch 'master' of github.com:idris-lang/Idris2 into javascript 2020-07-06 11:32:59 +01:00
contrib Merge pull request #392 from buzden/append-properties 2020-07-05 14:08:07 +01:00
network Add linear network API 2020-06-25 12:07:33 +01:00
prelude Merge branch 'master' of github.com:idris-lang/Idris2 into javascript 2020-07-06 11:32:59 +01:00