Commit Graph

6 Commits

Author SHA1 Message Date
espie
bcf3856632 PERMIT_* / REGRESS->TEST sweep 2013-03-11 10:50:00 +00:00
kili
be7ce949cf Regenerate plist for profiling libs. 2013-01-20 17:56:05 +00:00
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