okay but you should not be reading or writing it anyway so it does not matter if the syntax is bad
okay but you should not be reading or writing it anyway so it does not matter if the syntax is bad
SYNTAX ERROR IN 10
SYNTAX ERROR IN 10
The Syntax joins in Calling All Villains
Warrick
Miss Information
Fold
Malice
Mayhem
Crab Girl
The Syntax joins in Calling All Villains
Warrick
Miss Information
Fold
Malice
Mayhem
Crab Girl
Is terrible syntax
Why not just
"Continue the cybertruck"
Is terrible syntax
Why not just
"Continue the cybertruck"
(Absurd answers only.)
github.com/medovina/nat...
#LeanProver #LeanLang #ITP
github.com/medovina/nat...
#LeanProver #LeanLang #ITP
by Ismail Yusuf Olumoh
"Bullets cannot solve grief, & sorrow is never a suture
for my people. There is no day but this. A feather folds in the mouth of prayer."
Link ⬇️
by Ismail Yusuf Olumoh
"Bullets cannot solve grief, & sorrow is never a suture
for my people. There is no day but this. A feather folds in the mouth of prayer."
Link ⬇️