CSCI 290 projects
Not logged in

This is a repository for my CSCI 290 work, as well as other academic-ish projects. It includes my preprocessor for adding attribute grammars to Haskell (with support for PHOAS), as well as my work on strong normalization of STLC with sums, products, unit, and zero.