Lean is the first language I'm excited about in years.
Падабаецца 0
Рэпосты 0
@vitaut
?
(This is your fault, that I have to ask)
Is this a shitpost?
And you do mean the language that isn't rocq?
Падабаецца 0
Рэпосты 0
@Sdowney not a shitpost
Падабаецца 0
Рэпосты 0