solar-conflux/lean/learning/Main.lean

import Learning

def main : IO Unit :=
  IO.println s!"Hello, {hello}!"
Document lean experiments 2023-10-29 00:07:15 +02:00			`import Learning`
Move stuff around + add lean and idris experiments 2023-10-29 00:02:10 +02:00
			`def main : IO Unit :=`
			`IO.println s!"Hello, {hello}!"`