svenkeidel

svenkeidel

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
63 Stars
5 Forks
63 Watchers

Repositories (1)

sturdy svenkeidel/sturdy Pascal

Sturdy is a library for developing sound static analyses in Haskell.

63