serial experiments PL
| Poly.hs | unification | |
| README | start Poly.hs | |
| Simple.hs | add eval function | |
procelain ============= "procelain" is a series of prototypes for a language called "porcelain," which is an experimental language/project that seeks to explore ideas in programming language design. current prototypes: - Simple.hs: a typechecker and interpreter for a very simple lambda calculus and substructural type system. - Poly.hs: Simple.hs with universal polymorphism added (no interpreter) planned prototypes: - PolyL.sh: Poly.hs with lifetimes added - PolyE.hs: PolyL.hs with existential polymorphism added - C transpilers for various prototypes