3 ms·
At least it's easy to use, i can't for the life of me install and set up agda for example.
by penisverse 5y ago
At least it's easy to use, i can't for the life of me install and set up agda for example.
- creata 5y agoThis is way off topic, but that's funny, because it's the other way around for me: I can install Agda with a `pacman -S agda`, but I'd need to go through the AUR for Lean.
- IngoBlechschmid 5y agoFor this reason, I decided to make Agda playable in the browser here: https://agdapad.quasicoherent.io/ https://agdapad.quasicoherent.io/ Enjoy! :-)