edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-01 06:12:57 +03:00
Code Issues Projects Releases Wiki Activity
a6f9fb5e18
Idris2-boot/libs
History
Kamil Shakirov a6f9fb5e18 Ignore build artifacts
2019-08-07 09:40:30 +06:00
..
base Merge branch 'network-lib' of https://github.com/abailly/Idris2 into abailly-network-lib 2019-08-01 11:11:45 +01:00
network Ignore build artifacts 2019-08-07 09:40:30 +06:00
prelude Pack/unpack should be public export 2019-08-01 11:18:04 +01:00