Type Natural Save
Type-level well-kinded natural numbers.
Project README
type-natural
Type-level well-kinded peano natural numbers and singletons with proofs of their properties.
Open Source Agenda is not affiliated with "Type Natural" Project. README Source: konn/type-natural
Stars
33
Open Issues
0
Last Commit
4 months ago
Repository
License
Open Source Agenda Badge
