https://github.com/mattpolzin/idris-snocvect

SnocVect type and companions
https://github.com/mattpolzin/idris-snocvect

Last synced: about 1 month ago
JSON representation

SnocVect type and companions

• Host: GitHub
• URL: https://github.com/mattpolzin/idris-snocvect
• Owner: mattpolzin
• License: mit
• Created: 2022-01-08T07:51:00.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2022-05-02T19:08:08.000Z (over 2 years ago)
• Last Synced: 2023-03-31T12:28:30.809Z (over 1 year ago)
• Language: Idris
• Size: 6.84 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# idris-snocvect

SnocVect type and companions.

A Vect type that has the semantics of a reversed vector.

## Usage

You can depend on this package in one of 3 ways.

### Sirdi

If your project uses Sirdi, add the following dependency to your sirdi.json:

```json

{"name": "snocvect", "git": {"url": "https://github.com/mattpolzin/idris-snocvect"}}

```

### Idris install

You can clone this repository and run the following commands to install it into your local Idris 2 package directory:

```shell

idris2 --build snocvect.ipkg

idris2 --install snocvect.ipkg

```

Then add it to your project's `ipkg` file under `depends` or use the `-p snocvect` flag when invoking `idris2`.

### Local dependency

You can also build this package as described under the previous section but instead of installing it to your Idris 2 package directory you can copy the contents of the build/ttc folder into a `depends` directory within your project folder.