/examples/

• ../
• add.reg
• add.urm
• factorial.eurm
• factorial.reg