demos

Demonstrations for working group of programming languages and software engineering in the University of Marburg, Germany.

Name	Name	Last commit message	Last commit date
Latest commit Toxaris Add Agda demo from November 15, 2012. May 14, 2013 cd9dea6 · May 14, 2013 History 7 Commits
README.md	README.md	Fix over-literal translation	May 10, 2013
intro.agda	intro.agda	Add Agda demo from November 15, 2012.	May 14, 2013
kiama.scala	kiama.scala	added a slightly cleaned up version of the kiama demo (monday april 2…	May 3, 2013
plt-redex.rkt	plt-redex.rkt	Link to self	Apr 15, 2013
stlc.agda	stlc.agda	Add Agda demo from May 14, 2013.	May 14, 2013

Provide feedback