#type-checking #type #language #parser #dependent-types #script

bin+lib kers

Dependently type Object-Oriented Data Script

1 unstable release

0.1.0 Nov 29, 2023

#5 in #dependent-types

MIT license

3KB

Kers

Dependencies

~1.5MB
~32K SLoC