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

Development依存関係 (4):

byebug ~> 11.1.3

rspec ~> 3.10.0

rufo ~> 0.13.0

simplecov ~> 0.21.2

全ての推移的な依存関係を表示

所有者:

プッシュ者:

作者:

Paolo Brasolin

SHA 256チェックサム:

累計ダウンロード数 1,488

このバージョンのみ 1,488

このバージョンがリリースされたのは:
January 14, 2022 10:53am

ライセンス:
MIT

必要なRubyのバージョン: >= 2.6.0

リンク:

ホームページ変更履歴ドキュメントバグトラッカーダウンロード差分をレビューバッジ RSS 悪用報告被依存関係 Adoption