xzhseh/stlc-in-a-week

day5: introduce stlc expression (with type variables)

xzhseh opened this issue · 0 comments

xzhseh commented

now we are introducing type system to our untyped lambda calculus!