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:
=
installation:
=
Versions:
- 0.1.0 January 14, 2022 (9 ko)
Dépendances de Runtime (1):
jekyll
>= 3, < 5
Propriétaires:
Pushed by:
Auteurs:
-
Paolo Brasolin
Total de contrôle SHA 256:
=