Agda source notes - wjzz/NotesAndCheatsheets GitHub Wiki

Table of Contents

Some notes about Agda's source code

Agda's doc on hackage: http://hackage.haskell.org/package/Agda-2.3.0

Info about selected modules

Agda.Interaction.GhciTop

GhciTop

Agda.Interaction.Highlighting.HTML

exports the generateHTML function that is invoked when the --html option is used http://hackage.haskell.org/packages/archive/Agda/2.3.0/doc/html/Agda-Interaction-Highlighting-HTML.html

Add a custom footer
⚠️ **GitHub.com Fallback** ⚠️