π¨βπ» Implementing System T in Haskell π¨βπ»
language
programming-language
benchmark
haskell
system
test
semantics
lambda-calculus
type
typechecking
-
Updated
Mar 21, 2022 - Haskell