Main.lean - recursion-schemes-lean4.git - FP with bananas, lenses, and barbed wire in lean4

summary refs log tree commit diff

path: root/Main.lean

blob: bcfff43968afb0f4c3ab3123e33210325a8b9f51 (plain)

import «Bananas»

def main : IO Unit :=
  IO.println s!"Hello, {hello}!"