jrenaud/hello-world
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add Lean

Browse Source
This commit is contained in:
MrBrain295
2022-02-05 17:21:07 -06:00
parent 8949afa800
commit d6230b013b
2 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
l/Lean Normal file
View File

@@ -0,0 +1 @@
#print "Hello World"