[Agda] Try It Online

Nils Anders Danielsson nad at cse.gu.se
Thu Mar 7 15:53:54 CET 2019


Hi,

I noticed today that there is a web service called "Try It Online" that
allows one to try out code written in many languages, including Agda:

   https://tio.run/#agda

Apparently Agda is classified as "practical" rather than "recreational".
:)

-- 
/NAD


More information about the Agda mailing list