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

1 line
20 B
Plaintext
Raw Blame History

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