/solutions/

• ../
• collatz.slip
• cond-add-inv
• fibonacci.slip
• id.slip