Follow

Got to love that the Coq language documentation includes the syntax trees. I know I am dealing with adults. lol

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.