Lib.rs

›

#type #type-checking #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

#5 in #dependent-types

MIT license

3KB

Kers

Dependencies

~1.5MB
~31K SLoC