agda2lagda (hackage): Simple command line tool to convert plain Agda or Haskell files into literate files.  Line comments are interpreted as text, the rest as code blocks.
Keywords: dependent-types|development|program|agda|command-line-tool|latex|literate-programming