mirror of
https://github.com/GTBarkley/comm_alg.git
synced 2025-04-04 04:58:04 -05:00
5 lines
No EOL
49 B
Text
5 lines
No EOL
49 B
Text
import Mathlib
|
|
|
|
def hello := "world"
|
|
|
|
#print "hi" |