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:
=
クリップボードにコピー
コピー完了!
インストール:
=
バージョン履歴:
- 0.1.0 - January 14, 2022 (9KB)
Runtime依存関係 (1):
jekyll
>= 3, < 5
所有者:
プッシュ者:
作者:
-
Paolo Brasolin
SHA 256チェックサム:
fb2af6ac3ce9f11260b1c3d8e28075f23436577e5172e7defa029fb90e808fa3