kaushikc.org / learn-lean
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

learn-lean / Learn-lean.lean
at master 4 lines 53 B view raw
Kaushik Chakraborty initial commit
2a7f9a18
1def main : IO Unit := 2 IO.println "Hello, world!" 3 4