cirosantilli/lean/

by Ciro Santilli (@cirosantilli, 37)

• test0/
• .gitignore
• count_to_ten.lean
• count_with_sleep.lean
• count.lean
• format.lean
• function.lean
• hello.lean
• one_plus_one_is_three.lean
• one_plus_one_is_two.lean
• string.lean