This folder contains example Coalton projects to show off the features as well as provide a set of good real-world tests.
small-coalton-programs: A collection of small, example programs in Coalton for educational or illustrative purposes.quil-coalton: A monadic parser for Quil written in Coalton.thih: An implementation of Typing Haskell in Haskell in Coalton.