jekyll-agda 0.1.0
This Jekyll plugin allows to you write literate Agda. It will compile your code using Agda itself, producing beautifully highlighted and hyperlinked pages.
Gemfile:
=
Copy to clipboard
Copied!
Installeer:
=
Versies:
- 0.1.0 - January 14, 2022 (9 KB)
Runtime afhankelijkheden (1):
jekyll
>= 3, < 5
Development afhankelijkheden (4):
Eigenaren:
Pushed by:
Authors:
-
Paolo Brasolin
SHA 256 checksum:
=
Copy to clipboard
Copied!