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.

Versions:

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

Runtime Dependencies (1):

  • jekyll >= 3, < 5
  • Development Dependencies (4):

  • byebug ~> 11.1.3
  • rspec ~> 3.10.0
  • rufo ~> 0.13.0
  • simplecov ~> 0.21.2
  • Owners:

    Pushed by:

    Authors:

    • Paolo Brasolin

    SHA 256 checksum:

    fb2af6ac3ce9f11260b1c3d8e28075f23436577e5172e7defa029fb90e808fa3

    Total downloads 596

    For this version 596

    Gemfile:
    = Copy to clipboard Copied!

    install:
    =

    License:

    MIT

    Required Ruby Version: >= 2.6.0

    Links: