├── src ├── build.mli ├── dune ├── url.mli ├── otoml_impl.ml ├── filesystem.ml ├── url.ml ├── serve.ml ├── config.ml ├── highlight.ml └── build.ml ├── example ├── content │ ├── site.css │ ├── posts │ │ ├── index.md │ │ ├── first-post.md │ │ ├── second-post.md │ │ └── third-post.lagda.md │ ├── index.md │ └── agda.lagda.md ├── example.agda-lib ├── includes │ ├── nav.jingoo │ └── head.jingoo ├── layouts │ ├── main.jingoo │ ├── tag.jingoo │ ├── posts.jingoo │ └── post.jingoo └── config.toml ├── .gitignore ├── test └── unit │ ├── dune │ ├── test_color.ml │ └── test_url.ml ├── web ├── content │ ├── favicon.ico │ ├── docs │ │ ├── commands.md │ │ ├── highlighting.md │ │ ├── taxonomies.md │ │ ├── index.md │ │ ├── configuration.md │ │ ├── templates.md │ │ └── pages.md │ ├── index.css │ ├── docs.css │ ├── index.html │ ├── site.css │ └── logo.svg ├── config.toml ├── includes │ ├── footer.jingoo │ ├── head.jingoo │ └── header.jingoo ├── layouts │ ├── home.jingoo │ └── docs.jingoo ├── README.md ├── markdown.tmLanguage-LICENSE ├── theme.tmTheme-LICENSE ├── grammars │ └── TOML.tmLanguage └── theme.tmTheme ├── bin ├── dune └── main.ml ├── .ocamlformat ├── README.md ├── .github └── workflows │ ├── pages.yaml │ └── test.yaml ├── dune-project ├── LICENSE ├── camyll.opam └── CHANGES.md /src/build.mli: -------------------------------------------------------------------------------- 1 | val build : unit -> unit 2 | -------------------------------------------------------------------------------- /example/content/site.css: -------------------------------------------------------------------------------- 1 | body { 2 | font-family: sans-serif; 3 | } 4 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | .merlin 3 | web/public 4 | example/public 5 | *.agdai 6 | -------------------------------------------------------------------------------- /test/unit/dune: -------------------------------------------------------------------------------- 1 | (tests 2 | (names test_url test_color) 3 | (libraries camyll)) 4 | -------------------------------------------------------------------------------- /example/example.agda-lib: -------------------------------------------------------------------------------- 1 | name: example 2 | depend: standard-library 3 | include: content 4 | -------------------------------------------------------------------------------- /example/content/posts/index.md: -------------------------------------------------------------------------------- 1 | +++ 2 | title = "Posts" 3 | layout = "posts.jingoo" 4 | +++ 5 | -------------------------------------------------------------------------------- /web/content/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alan-j-hu/camyll/HEAD/web/content/favicon.ico -------------------------------------------------------------------------------- /bin/dune: -------------------------------------------------------------------------------- 1 | (executable 2 | (name main) 3 | (public_name camyll) 4 | (libraries camyll cmdliner unix)) 5 | -------------------------------------------------------------------------------- /example/includes/nav.jingoo: -------------------------------------------------------------------------------- 1 |
5 | -------------------------------------------------------------------------------- /example/content/index.md: -------------------------------------------------------------------------------- 1 | +++ 2 | title = "Home" 3 | layout = "main.jingoo" 4 | +++ 5 | 6 | Welcome to my example blog! 7 | -------------------------------------------------------------------------------- /web/config.toml: -------------------------------------------------------------------------------- 1 | source_dir = "site" 2 | dest_dir = "public" 3 | agda_dir = "lagda" 4 | exclude = ["*.agdai"] 5 | taxonomies = [] 6 | -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- 1 | (library 2 | (name camyll) 3 | (libraries calendar cmarkit ezjsonm httpaf httpaf-lwt-unix ISO8601 jingoo 4 | lwt markup otoml plist-xml re slug textmate-language uri yaml)) 5 | -------------------------------------------------------------------------------- /example/includes/head.jingoo: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 |.md from Markdown to HTML.
15 | .lagda.md as Literate Agda
19 | files and invokes the Agda compiler to preprocess the Agda code blocks.
20 |