My implementation of Well-scoped ULC and STLC
Phil's implementation of Well-scoped ULC and STLC