/SystemT

An interpreter for Gödel's System T

Primary LanguageHaskell

Watchers