experiments with @robkuz LimitedValue type
Home Page:https://jackfoxy.github.io/DependentTypes/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool