/slick

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

Primary LanguageRust

This repository is not active