agda2lagda

Simple command line tool to convert plain Agda or Haskell files into literate files. Single line comments are interpreted as text, the rest as code blocks.