- How to install Agda on Windows Subsystem for Linux (WSL) (Nov 2019)
- How to input Unicode characters in Emacs:
- Emacs mode key combinations
- Editing Agda code using Vim
- How to see Unicode characters
- Literate Agda (or how to include Agda code in LaTeX documents)
- How to generate web pages from source code
- How to use automatic proof search (C-c C-a)
- How to cope with performance issues
Page last modified on November 04, 2022, at 10:00 am
Powered by
PmWiki