PandocAgda 2.3.3.0.1 → 2.3.3.0.2
raw patch · 3 files changed
+51/−2 lines, 3 filesdep ~PandocAgda
Dependency ranges changed: PandocAgda
Files
- CHANGES +13/−0
- PandocAgda.cabal +4/−2
- README +34/−0
+ CHANGES view
@@ -0,0 +1,13 @@+% Changes++PandocAgda 2.3.3.0.1 --> 2.3.3.0.2++- correct a dependency in cabal file+- README and CHANGES files++PandocAgda 2.3.3 --> 2.3.3.0.1++- correct LICENCE file+- correct darcs repo URL++
PandocAgda.cabal view
@@ -1,5 +1,5 @@ name: PandocAgda-version: 2.3.3.0.1+version: 2.3.3.0.2 cabal-version: >= 1.8 build-type: Simple license: BSD3@@ -17,6 +17,8 @@ Pandoc is a universal document converter. tested-with: GHC == 7.6.1 extra-source-files: src/full/Agda/undefined.h+ README+ CHANGES data-dir: src/data data-files: Agda.template Agda.css@@ -97,7 +99,7 @@ executable agdapandoc hs-source-dirs: src/main main-is: Main.hs- build-depends: PandocAgda == 2.3.3,+ build-depends: PandocAgda == 2.3.3.0.2, -- Nothing is used from the following package, except -- for the prelude. base >= 3 && < 6
+ README view
@@ -0,0 +1,34 @@+% Agda Tutorial++Usage+-----++An online HTML version can be found at++http://people.inf.elte.hu/divip/AgdaTutorial/Index.html+++Local Builds+------------++1. Install the darcs version of the Agda compiler+2. Install `agdapandoc` which is+ a slightly modified version of the Agda compiler.++ cabal install++3. Generate the html view of the tutorial.++ cd tutorial; make+++Development+-----------++This Agda tutorial is under development.++Any contribution is welcome, please send patches to+divipp@gmail.com+Please send small patches first.++