se/~bengt/papers/alfengine.pdf], Alfa [http://www.cse.chalmers.se/~hallgren/Alfa/], Agda 1 [https://sourceforge.net/projects/agda/], Cayenne [https://en.wikipedia.org/wiki/Cayenne_(programming_language)]. Some reStructuredText Files ending in .lagda.rst are interpreted as literate reStructuredText [http://docutils.sourceforge.net/rst.html] files. Agda will parse code following a line ending in ::, as long as that line does examples Documentation Documentation is written in reStructuredText format [http://docutils.sourceforge.net/docs/ref/rst/restructuredtext.html]. The Agda documentation is shipped together with the main

se/~bengt/papers/alfengine.pdf], Alfa [http://www.cse.chalmers.se/~hallgren/Alfa/], Agda 1 [https://sourceforge.net/projects/agda/], Cayenne [https://en.wikipedia.org/wiki/Cayenne_(programming_language)]. Some reStructuredText Files ending in .lagda.rst are interpreted as literate reStructuredText [http://docutils.sourceforge.net/rst.html] files. Agda will parse code following a line ending in ::, as long as that line does examples Documentation Documentation is written in reStructuredText format [http://docutils.sourceforge.net/docs/ref/rst/restructuredtext.html]. The Agda documentation is shipped together with the main

se/~bengt/papers/alfengine.pdf], Alfa [http://www.cse.chalmers.se/~hallgren/Alfa/], Agda 1 [https://sourceforge.net/projects/agda/], Cayenne [https://en.wikipedia.org/wiki/Cayenne_(programming_language)]. Some reStructuredText Files ending in .lagda.rst are interpreted as literate reStructuredText [http://docutils.sourceforge.net/rst.html] files. Agda will parse code following a line ending in ::, as long as that line does examples Documentation Documentation is written in reStructuredText format [http://docutils.sourceforge.net/docs/ref/rst/restructuredtext.html]. The Agda documentation is shipped together with the main

se/~bengt/papers/alfengine.pdf], Alfa [http://www.cse.chalmers.se/~hallgren/Alfa/], Agda 1 [https://sourceforge.net/projects/agda/], Cayenne [https://en.wikipedia.org/wiki/Cayenne_(programming_language)]. Some reStructuredText Files ending in .lagda.rst are interpreted as literate reStructuredText [http://docutils.sourceforge.net/rst.html] files. Agda will parse code following a line ending in ::, as long as that line does examples Documentation Documentation is written in reStructuredText format [http://docutils.sourceforge.net/docs/ref/rst/restructuredtext.html]. The Agda documentation is shipped together with the main

reStructuredText Files ending in .lagda.rst are interpreted as literate reStructuredText [http://docutils.sourceforge.net/rst.html] files. Agda will parse code following a line ending in ::, as long as that line does examples Documentation Documentation is written in reStructuredText format [http://docutils.sourceforge.net/docs/ref/rst/restructuredtext.html]. The Agda documentation is shipped together with the main

se/~bengt/papers/alfengine.pdf], Alfa [http://www.cse.chalmers.se/~hallgren/Alfa/], Agda 1 [https://sourceforge.net/projects/agda/], Cayenne [https://en.wikipedia.org/wiki/Cayenne_(programming_language)]. Some reStructuredText Files ending in .lagda.rst are interpreted as literate reStructuredText [http://docutils.sourceforge.io/rst.html] files. Agda will parse code following a line ending in ::, as long as that line does examples Documentation Documentation is written in reStructuredText format [https://docutils.sourceforge.io/docs/ref/rst/restructuredtext.html]. The Agda documentation is shipped together with the main

se/~bengt/papers/alfengine.pdf], Alfa [http://www.cse.chalmers.se/~hallgren/Alfa/], Agda 1 [https://sourceforge.net/projects/agda/], Cayenne [https://en.wikipedia.org/wiki/Cayenne_(programming_language)]. Some reStructuredText Files ending in .lagda.rst are interpreted as literate reStructuredText [http://docutils.sourceforge.io/rst.html] files. Agda will parse code following a line ending in ::, as long as that line does examples Documentation Documentation is written in reStructuredText format [https://docutils.sourceforge.io/docs/ref/rst/restructuredtext.html]. The Agda documentation is shipped together with the main

se/~bengt/papers/alfengine.pdf], Alfa [http://www.cse.chalmers.se/~hallgren/Alfa/], Agda 1 [https://sourceforge.net/projects/agda/], Cayenne [https://en.wikipedia.org/wiki/Cayenne_(programming_language)]. Some reStructuredText Files ending in .lagda.rst are interpreted as literate reStructuredText [http://docutils.sourceforge.io/rst.html] files. Agda will parse code following a line ending in ::, as long as that line does examples Documentation Documentation is written in reStructuredText format [https://docutils.sourceforge.io/docs/ref/rst/restructuredtext.html]. The Agda documentation is shipped together with the main

se/~bengt/papers/alfengine.pdf], Alfa [http://www.cse.chalmers.se/~hallgren/Alfa/], Agda 1 [https://sourceforge.net/projects/agda/], Cayenne [https://en.wikipedia.org/wiki/Cayenne_(programming_language)]. Some reStructuredText Files ending in .lagda.rst are interpreted as literate reStructuredText [http://docutils.sourceforge.io/rst.html] files. Agda will parse code following a line ending in ::, as long as that line does examples Documentation Documentation is written in reStructuredText format [https://docutils.sourceforge.io/docs/ref/rst/restructuredtext.html]. The Agda documentation is shipped together with the main

reStructuredText Files ending in .lagda.rst are interpreted as literate reStructuredText [http://docutils.sourceforge.net/rst.html] files. Agda will parse code following a line ending in ::, as long as that line does examples Documentation Documentation is written in reStructuredText format [http://docutils.sourceforge.net/docs/ref/rst/restructuredtext.html]. The Agda documentation is shipped together with the main