HigherOrderCO/Kind
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind.git synced 2024-07-07 10:06:36 +03:00
Code Issues Packages Projects Releases Wiki Activity
master
Kind/book/Equal
History
Victor Taelin 058633c6c9 desugar match with implicit args
2024-05-24 23:40:13 -03:00
..
apply.kind2 desugar match with implicit args 2024-05-24 23:40:13 -03:00
match.kind2 desugar match with implicit args 2024-05-24 23:40:13 -03:00
refl.kind2 diff savida 2024-03-15 22:07:01 -03:00