hakyll-agda 0.1.2 → 0.1.3
raw patch · 2 files changed
+5/−46 lines, 2 filesdep ~hakyll
Dependency ranges changed: hakyll
Files
- css/agda.css +0/−38
- hakyll-agda.cabal +5/−8
− css/agda.css
@@ -1,38 +0,0 @@-/* Adapted from `src/data/Agda.css' from the Agda package, see- <http://code.haskell.org/Agda/LICENSE> for the license and the copyright- information.-*/--/* Aspects. */-pre.Agda a.Comment { color: #B22222 }-pre.Agda a.Keyword { color: #CD6600 }-pre.Agda a.String { color: #B22222 }-pre.Agda a.Number { color: #A020F0 }-pre.Agda a.Symbol { color: #404040 }-pre.Agda a.PrimitiveType { color: #0000CD }-pre.Agda a.Operator {}--/* NameKinds. */-pre.Agda a.Bound { color: black }-pre.Agda a.InductiveConstructor { color: #008B00 }-pre.Agda a.CoinductiveConstructor { color: #8B7500 }-pre.Agda a.Datatype { color: #0000CD }-pre.Agda a.Field { color: #EE1289 }-pre.Agda a.Function { color: #0000CD }-pre.Agda a.Module { color: #A020F0 }-pre.Agda a.Postulate { color: #0000CD }-pre.Agda a.Primitive { color: #0000CD }-pre.Agda a.Record { color: #0000CD }--/* OtherAspects. */-pre.Agda a.DottedPattern {}-pre.Agda a.UnsolvedMeta { color: black; background: yellow }-pre.Agda a.UnsolvedConstraint { color: black; background: yellow }-pre.Agda a.TerminationProblem { color: black; background: #FFA07A }-pre.Agda a.IncompletePattern { color: black; background: #F5DEB3 }-pre.Agda a.Error { color: red; text-decoration: underline }-pre.Agda a.TypeChecks { color: black; background: #ADD8E6 }--/* Standard attributes. */-pre.Agda a { text-decoration: none }-pre.Agda a[href]:hover { background-color: #B4EEB4 }
hakyll-agda.cabal view
@@ -1,6 +1,6 @@ Cabal-version: >= 1.6 Name: hakyll-agda-Version: 0.1.2+Version: 0.1.3 Author: Francesco Mazzoli (f@mazzo.li) Maintainer: Francesco Mazzoli (f@mazzo.li) Build-Type: Simple@@ -11,12 +11,9 @@ Tested-With: GHC==7.6.3 Homepage: https://github.com/bitonic/hakyll-agda Bug-Reports: https://github.com/bitonic/hakyll-agda/issues-Description:- Simple module useful to generate blog posts from literate Agda files.- .- Note: Currently this package requires the development version of Hakyll,- see <http://mazzo.li/posts/agda-hakyll.html> for more info.-Data-Files: css/agda.css+Description: Simple module useful to generate blog posts from literate+ Agda files. See <http://mazzo.li/posts/agda-hakyll.html>+ for more info. source-repository head type: git@@ -24,7 +21,7 @@ Library Build-Depends: base >= 3 && < 5,- hakyll >= 4.2.2 && < 5,+ hakyll >= 4.3 && < 5, Agda >= 2.3 && < 3, pandoc >= 1.10 && < 2, xhtml >= 3000.2 && < 3000.3,