Nicolas Rolland

adding option to specify CFBundleName in the example

some theme do not differentiate format between code and main org document, which makes them terrible for litterate programming/code documentation

can you describe the category of categories with this encoding ?

update on this project

1

hi, this looks really interesting and good, but the warning to not use it is pretty daunting. Is this package meant to receive some love in the future, or has...

loading zero.agda

3

Hi, I was trying to load your library with `Agda version 2.5.1`, standard library `v0.12` and agda-base at 823c684 (2016-06-19) but it could not compile with error /agda-categories/category/category/zero.agda:13,8-18 > No...

example usage with dune

4

it would be helpful to have a sample project using dune to play with

export as a command

4

Is there a way to programmatically export an org file using an elisp script ? I am trying [this](https://gist.github.com/nrolland/a3e47f7acecbfc9e060c1549e841a5e0) and I am not sure what to do with an "org-publish-cache"...