About Me
// Hello, World !
Top Answers
Top Questions
-
Why is '\SO' behaving differently from the other escape codes in Agda?
4 votes1 answers