prescientmoon/solar-conflux
1
Fork 0
Code Activity
solar-conflux/lean/learning/Main.lean

5 lines
72 B
Plaintext
Raw Normal View History

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}!"
Copy permalink