1
Fork 0
solar-conflux/lean/learning/Learning.lean

2 lines
21 B
Plaintext
Raw Permalink Normal View History

2023-10-29 00:07:15 +02:00
def hello := "world"