4 kyu

Loading Kata: Yet another introduction to bisimulation, Chicken's style