5 ms·
For this reason, I decided to make Agda playable in the browser here: https://agdapad.quasicoherent.io/ https://agdapad.quasicoherent.io/ Enjoy! :-)
by IngoBlechschmid 5y ago
For this reason, I decided to make Agda playable in the browser here: https://agdapad.quasicoherent.io/ https://agdapad.quasicoherent.io/ Enjoy! :-)