Lib.rs

›

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

bin+lib kers

Dependently type Object-Oriented Data Script

Owned by Odomontois.

1 unstable release

0.1.0	Nov 29, 2023

#4 in #dependent-types

MIT license

3KB

Kers

Dependencies

~1.5MB
~32K SLoC