Timeline for Add a language to a polyglot
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 11, 2018 at 2:24 | comment | added | stasoid | More on Agda is in answer 165. | |
| Dec 23, 2017 at 21:02 | comment | added | Dennis | Agda is on TIO now. tio.run/##S0xPSfz/… | |
| Dec 11, 2017 at 11:31 | comment | added | stasoid | @WheatWizard It works in Emotinomicon. It takes about 2-3 minutes for online interpreter to display the number. Or you can use node.js version which is faster. | |
| Nov 29, 2017 at 6:49 | history | answered | stasoid | CC BY-SA 3.0 |