nikitaignatov / dependenttypes Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jackfoxy/dependenttypes
experiments with @robkuz LimitedValue type
Home Page: https://jackfoxy.github.io/DependentTypes/
License: The Unlicense