dkeehl/nothing
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
An implement of church nummerals with idris (mainly) and haskell. Inspired by Tom Stuart's Programing with nothing.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
An implement of church nummerals with idris (mainly) and haskell. Inspired by Tom Stuart's Programing with nothing.