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
Update SystemF Expression
· b3179acc
Sean Gillespie
authored
Dec 30, 2016
Replace the placeholder `ty` with the datatype `Ty ty`
b3179acc