Commit Graph

4 Commits

Author SHA1 Message Date
kili
2acb3c8385 Move the @exec and @unexec lines running the {,un}register.sh scripts
and the line with the unregister.sh script down to the bottom of
the plist. Silences all the blurb about ".../*.haddock doesn't exist
or isn't a file."
2012-10-28 23:24:28 +00:00
kili
3ddb936eb2 Update to semigroupoids-1.3.4. 2012-09-02 21:55:13 +00:00
kili
5ebc2be143 Bump due to signature changes after the update of hs-semigroup. 2012-07-08 22:36:40 +00:00
kili
ac150d6220 Provides a wide array of semigroupoids and operations for working
with semigroupds.
A Semigroupoid is a Category without the requirement of identity
arrows for every object in the category.

ok ajacoutot@
2012-01-23 21:05:02 +00:00