/1-kyu/

• ../
• a-b-b-a-prove-it.hs
• scott-encoding.hs