⬢
RubyGems
Navigation menu
gemを検索...
Releases
ブログ
Gems
ガイド
サインイン
新規登録
jekyll-agda
0.1.0
矢印アイコンをクリックして展開
Runtime :
jekyll 4.3.3
>= 3, < 5
Development :
byebug 11.1.3
~> 11.1.3
rspec 3.10.0
~> 3.10.0
rufo 0.13.0
~> 0.13.0
simplecov 0.21.2
~> 0.21.2