jrenaud/hello-world
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
hello-world/l/Lean
MrBrain295 d6230b013b Add Lean
2022-02-05 17:21:07 -06:00

1 line
20 B
Plaintext
Raw Permalink Blame History

#print "Hello World"
Reference in New Issue View Git Blame Copy Permalink