https://github.com/vmchale/monoid

Monoids in ATS
https://github.com/vmchale/monoid

Last synced: over 1 year ago
JSON representation

Monoids in ATS

• Host: GitHub
• URL: https://github.com/vmchale/monoid
• Owner: vmchale
• License: bsd-3-clause
• Created: 2018-02-19T18:10:16.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2019-12-09T01:18:11.000Z (over 6 years ago)
• Last Synced: 2025-01-08T12:07:59.424Z (over 1 year ago)
• Language: ATS
• Size: 7.81 KB
• Stars: 1
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# monoid

Monoids for ATS.

## Use

Using [atspkg](http://github.com/vmchale/atspkg), add the following to

`atspkg.dhall`:

```

  dependencies = prelude.mapPlainDeps [ "monoid" ]

```

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

```ats

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

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

```