agda2html deprecated: use `agda --html-highlight=code` instead (last compatible version is Agda 2.5.4.2) If you must, you can still install agda2html, e.g., using stack: git clone https://github.com/wenkokke/agda2html.git cd agda2html stack install