hub.darcs.net :: mcmtroffaes -> AgdaTutorial_0 -> open issues

An Agda Tutorial (http://people.inf.elte.hu/divip/AgdaTutorial/Index.html)

no issues!

there don't seem to be any issues for this project.

  • darcsden 1.2 beta built Jun 23 201810:48:19
  • report problems to simon