ssaavedra/liquidhaskell
Liquid Types For Haskell
A transformer from a desugared version of Erlang into the CAVIART's IR
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Liquid Types For Haskell
Public repository.
Mirroring https://scm.gforge.inria.fr/anonscm/git/why3/why3.git with some lag
The Galician Anthem.