gitextract_t4f2qm8w/

├── .gitignore
├── CONTRIBUTING.md
├── Koans/
│   ├── 01-Arithmetic.idr
│   ├── 02-Equality.idr
│   ├── 03-Boolean.idr
│   ├── 04-Ranges.idr
│   ├── 05-Lists.idr
│   ├── 06-ListComprehensions.idr
│   ├── 07-Tuples.idr
│   ├── 08-HigherOrderFunctions.idr
│   └── Misc.idr
├── LICENSE
└── README.md