Module: Jekyll::Agda

Defined in:

lib/jekyll/agda/runner.rb,
lib/jekyll/agda/weaver.rb,
lib/jekyll/agda/version.rb,
lib/jekyll/agda/browsable_page.rb

Defined Under Namespace

Classes: BrowsablePage, Runner, Weaver

Constant Summary

VERSION =

"0.1.0"