edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-28 14:06:26 +03:00
Code Issues Projects Releases Wiki Activity
7a588d30cc
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