Skip to content

GitLab

Explore

Sign in
Register

Brandl, Katharina
sturdy

S

sturdy

Project information

Sturdy is a library to create sound abstract interpreters in Haskell.

810 Commits
12 Branches
2 Tags

README
BSD 3-Clause "New" or "Revised" License

Created on

September 28, 2020

Copy SSH clone URLgit@gitlab.rlp.net:kabrandl/sturdy.git
Copy HTTPS clone URLhttps://gitlab.rlp.net/kabrandl/sturdy.git