Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Merge pull request #1 from thoughtpolice/master

Update .gitignore and fix link to paper in 'description' field
  • Loading branch information...
commit b6877f8503d37ec8fd2f95adc7e118b3ac140835 2 parents 315dde8 + 495ee5f
@batterseapower authored
Showing with 2 additions and 1 deletion.
  1. +1 −0  .gitignore
  2. +1 −1  termination-combinators.cabal
View
1  .gitignore
@@ -3,3 +3,4 @@
*.o
dist/
.dist-scion/
+*~
View
2  termination-combinators.cabal
@@ -9,7 +9,7 @@ License-File: LICENSE
Author: Max Bolingbroke
Synopsis: Termination combinators for forcing non-terminating algorithms to terminate
Category: Language
-Description: For more information see the paper at http://www.cl.cam.ac.uk/~mb566/papers/termination-combinators-hs11.pdf
+Description: For more information see the paper at <http://www.cl.cam.ac.uk/~mb566/papers/termination-combinators-hs11.pdf>
Library
Exposed-Modules: Control.Termination
Please sign in to comment.
Something went wrong with that request. Please try again.