S

sturdy

Project information

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

903 Commits
15 Branches
3 Tags

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

Created on

May 09, 2019

Loading