Lib.rs

›

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

bin+lib kers

Dependently type Object-Oriented Data Script

Owned by Odomontois.

1 unstable release

0.1.0	Nov 29, 2023

#6 in #dependent-types

MIT license

3KB

Kers

Dependencies

~1.5MB
~32K SLoC