posit: experiments in positive types Experiments in computing with strictly positive data. Evidence transformers, polynomial datatypes, (co)inductive recursors, and other adjacent ideas. To run the code in the Twelf repl: make sources.cfg