Skip to content
Browse files

AUTHORS: Link to yices-painless; email address; wording

Perhaps not quite “shamed the author”. :-)
  • Loading branch information...
1 parent 06cb842 commit 2bee9402ed101e0444454a0ddb554b046c83d996 @ion1 ion1 committed Mar 9, 2013
Showing with 2 additions and 3 deletions.
  1. +2 −3 AUTHORS.md
View
5 AUTHORS.md
@@ -2,10 +2,9 @@ Authors
=======
`ersatz` started as a one man project by [Edward Kmett](mailto:ekmett@gmail.com) [@ekmett](https://github.com/ekmett).
-However, it then languished for 3 years after Don Stewart [@donsbot](https://github.com/donsbot) released perfectly adequate bindings for yices.
+However, it then languished for 3 years after Don Stewart [@donsbot](https://github.com/donsbot) released perfectly adequate [bindings for yices](http://hackage.haskell.org/package/yices-painless).
-It revived by [Johan Kiviniemi](mailto:lens@johan.kiviniemi.name) [@ion1](https://github.com/ion1) after he
-shamed the original author into polishing it up and releasing it.
+It was revived by [Johan Kiviniemi](mailto:ersatz@johan.kiviniemi.name) [@ion1](https://github.com/ion1) who got it into a working condition by implementing some missing parts, which inspired the original author into polishing it up and releasing it.
Omission from this page is by no means an attempt to discount your contributions! Thank you for all of your help!

0 comments on commit 2bee940

Please sign in to comment.
Something went wrong with that request. Please try again.