idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-01 09:49:24 +03:00
Code Issues Projects Releases Wiki Activity
c02481fb55
Idris2/libs/contrib/Data/Bool
History
Ohad Kammar c02481fb55
[contrib] Add a Reflects datatype (#722) 
* [contrib] Add a `Reflects` datatype

as discussed in PR #695
2020-10-02 17:41:36 +01:00
..
Algebra.idr Add some algebra implementations 2020-07-17 08:25:20 -05:00
Decidable.idr [contrib] Add a Reflects datatype (#722) 2020-10-02 17:41:36 +01:00