Dependently type Object-Oriented Data Script
Owned by Odomontois.
#5 in #dependent-types
3KB
~1.5MB ~32K SLoC