[Agda-dev] Re: [agda] refactoring: make easier to use the Agda library for generating HTML (#32)

[Andreas Abel]

I do not know the preferred way, but I think including it would be a 
good idea.

On 25.02.2015 09:57, Péter Diviánszky wrote:
> Thanks!
> What is the way to include https://github.com/divipp/PandocAgda and
> https://github.com/mcmtroffaes/AgdaTutorial in the agda GitHub
> community? Is this a good idea?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/agda/agda/pull/32#issuecomment-75926055>.
>


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/