RubyGems Navigation menu

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:
= Copiar al portapapeles ¡Copiado!

instalar:
=

Versiones:

  1. 0.1.0 - January 14, 2022 (9 KB)

dependencias de Runtime (1):

jekyll >= 3, < 5

dependencias de Development (4):

byebug ~> 11.1.3
rspec ~> 3.10.0
rufo ~> 0.13.0
simplecov ~> 0.21.2

Propietarios:

Subida por:

Autores:

  • Paolo Brasolin

SHA 256 checksum:

fb2af6ac3ce9f11260b1c3d8e28075f23436577e5172e7defa029fb90e808fa3

Total de descargas 1.369

Para esta versión 1.369

Licencia:

MIT

Versión de Ruby requerida: >= 2.6.0

Enlace: