free-theorems-seq-webui 1.0.0.1 → 1.0.0.2
raw patch · 3 files changed
+8/−8 lines, 3 filesdep ~free-theorems-seq
Dependency ranges changed: free-theorems-seq
Files
- README +2/−2
- free-theorems-seq-webui.cabal +2/−2
- src/free-theorems-seq-webui.hs +4/−4
README view
@@ -1,4 +1,4 @@-The module free-theorems-seq-webui-0.1 provides the binary free-theorems-seq-webui.cgi.+The module free-theorems-seq-webui-1.0.0.2 provides the binary free-theorems-seq-webui.cgi. Installation can either be done with cabal (configure/build/install) or runhaskell Setup.hs configure --user@@ -23,7 +23,7 @@ Acknowledgements. ================= -Most of the webinterface' code (./src/polyseq-cgi.hs) and the script testcgi.py+Most of the webinterface' code (./src/free-theorems-seq-webui.hs) and the script testcgi.py are written by Joachim Breitner <mail@joachim-breitner.de>.
free-theorems-seq-webui.cabal view
@@ -1,5 +1,5 @@ name: free-theorems-seq-webui-version: 1.0.0.1+version: 1.0.0.2 license: PublicDomain author: Daniel Seidel maintainer: ds@iai.uni-bonn.de@@ -26,7 +26,7 @@ build-depends: cgi >= 3001.1.5.1 , containers >= 0.1.0.1 - , free-theorems-seq == 0.1.*+ , free-theorems-seq == 1.* , mtl >= 1.1.0.0 , network >= 2.1.0.0 , pretty == 1.*
src/free-theorems-seq-webui.hs view
@@ -111,12 +111,12 @@ thespan ! [theclass "title"] << "Haskell" +++ thespan ! [theclass "subtitle"] << "Taming Selective Strictness" ) +++- maindiv ( p << ("This tool allows you to experiment with the method described in the paper "+ maindiv ( p << ("This tool allows you to experiment with the method described in the article " +++ primHtmlChar "ldquo" - +++ hotlink "http://www.iai.uni-bonn.de/~jv/atps09.pdf" - << "Taming Selective Strictness"+ +++ hotlink "http://www.iai.uni-bonn.de/~jv/acta.pdf" + << "Refined Typing to Localize the Impact of Forced Strictness on Free Theorems" +++ primHtmlChar "rdquo"- +++ " (ATPS'09) by Daniel Seidel and " + +++ " (Acta Informatica, to appear) by Daniel Seidel and " +++ hotlink "http://www.iai.uni-bonn.de/~jv" << (toHtml "Janis Voigtländer") +++ ".") +++