This Jekyll plugin allows to you write literate Agda. It will compile your code using Agda itself, producing beautifully highlighted and hyperlinked pages.

Required Ruby Version

>= 2.6.0

Authors

Paolo Brasolin

Versions

  1. 0.1.0

    1. source

      1. 0.1.0 source January 14, 2022 (9 KB)

Pushed by

paolobrasolin

SHA 256 checksum