/slick

Slick is a logical specification language. It is similar to Datalog (typeless, bottom-up) and Seaso (syntax, tuple values)

Primary LanguageRust

Watchers

No one’s watching this repository yet.