Gregory's ServerUsing Agda might be like washing down a handful of LSD pills with a glass of moonshine laced with opium.
|
No comments
|
|
Top-level
Using Agda might be like washing down a handful of LSD pills with a glass of moonshine laced with opium. No comments
|