jekyll-agda 0.1.0

Klicken Sie auf das Pfeilsymbol, um es zu erweitern.

Runtime :

jekyll 4.3.4 >= 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