monoid

Monoids for ATS.

Use

Using atspkg, add the following to atspkg.dhall:

  dependencies = prelude.mapPlainDeps [ "monoid" ]

And include the something like the following in your .dats file:

#include "$PATSHOMELOCS/monoid-0.1.0/mylibies.hats"
#include "$PATSHOMELOCS/monoid-0.1.0/monoid_strptr.dats"

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
test		test
LICENSE		LICENSE
README.md		README.md
atspkg.dhall		atspkg.dhall
fixity.hats		fixity.hats
monoid.sats		monoid.sats
monoid_strptr.dats		monoid_strptr.dats
mylibies.hats		mylibies.hats
pkg.dhall		pkg.dhall