Thanks to visit codestin.com
Credit goes to lib.rs

Lib.rs

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

bin+lib kers

Dependently type Object-Oriented Data Script

Owned by Odomontois.

1 unstable release

0.1.0 Nov 29, 2023

#8 in #dependent-types

MIT license

3KB

Kers

Dependencies

~1.5MB
~32K SLoC