@nikitonsky

Using Agda might be like washing down a handful of LSD pills with a glass of moonshine laced with opium.

@nikitonsky #scheme