pyver

Haskell ★ 0 updated 13y ago

A Python Static Verifier for Type-Checking in Haskell

No plain-English explanation yet — one is being written right now. Check back in a minute.

Open on GitHub →