edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-24 12:54:28 +03:00
Code Issues Projects Releases Wiki Activity
3cd09bb6a8
Idris2-boot/sample
History
Edwin Brady 23051a55de Add Weaken interface, to start evaluator
2019-03-10 22:00:10 +00:00
..
Vect.yaff Add Weaken interface, to start evaluator 2019-03-10 22:00:10 +00:00