5 kyu

Uneval your Agda expression

2183% of 67ice1000
Loading comments...