jrenaud/hello-world
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
f44cc1ec85687166ac9023bc6df7d2fc48525264
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