An implement of church nummerals with idris (mainly) and haskell. Inspired by Tom Stuart's Programing with nothing.