learn you an agda -- peano numbers
learn you an agda -- peano numbers

shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps