Fakultas Ilmu Komputer UI
Skip to content
GitLab
Explore
Sign in
Ari Angga Nugraha
ariangganugraha-funpro2020-lambda
Repository
lambda-calculus
test
Language
SystemF
ExpressionSpec.hs
Find file
Blame
History
Permalink
Fix System F pretty printer
· 3aca5ff7
Sean Gillespie
authored
Dec 30, 2016
X->Y -> Z => X->Y->Z
3aca5ff7