BoehmBerarducci Playing around with Boehm-Berarducci encodings in Idris. The game is to implement everything without using recursion.