edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-19 19:01:44 +03:00
Code Issues Projects Releases Wiki Activity
15f6e863c4
Idris2-boot/libs/base/Decidable
History
Edwin Brady 7a588d30cc Need to export DecEq implementations!
2019-07-05 18:41:50 +01:00
..
Equality.idr Need to export DecEq implementations! 2019-07-05 18:41:50 +01:00