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/Cmp
History
Victor Taelin 70288ef011 diff savida
2024-03-15 22:07:01 -03:00
..
eql.kind2 diff savida 2024-03-15 22:07:01 -03:00
gtn.kind2 diff savida 2024-03-15 22:07:01 -03:00
is_gtn.kind2 diff savida 2024-03-15 22:07:01 -03:00
ltn.kind2 diff savida 2024-03-15 22:07:01 -03:00