Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/vikraman/sml-coexp

Last synced: 3 days ago
JSON representation

Host: GitHub
URL: https://github.com/vikraman/sml-coexp
Owner: vikraman
Created: 2023-12-29T14:06:32.000Z (about 1 year ago)
Default Branch: main
Last Pushed: 2024-10-16T08:54:18.000Z (3 months ago)
Last Synced: 2024-10-18T08:27:48.720Z (3 months ago)
Language: Standard ML
Size: 5.86 KB
Stars: 0
Watchers: 2
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

        # sml-coexp

[![ci](https://github.com/vikraman/sml-coexp/actions/workflows/ci.yml/badge.svg)](https://github.com/vikraman/sml-coexp)

## Usage

```sh

$ alias smlnj='rlwrap sml'

$ smlnj

- CM.make "coexp.cm" ;

```

### Examples

Coexponentials are implemented using the native continuation type in the Coexp module.

The Examples module contains the multiplication example from the paper.

The Classical module contains the encodings of various classical logic combinators and control operators.

NOTE: There are some typos in the typesetting of the paper draft.

The code samples in this repository are the right definitions which are checked by the computer.

To inspect or run in the SML repl:

``` sh

- open Examples ;

- ex1 Int.toString (INR "0") 0 ;

- ex1 Int.toString (INL 1) 1 ;

```

``` sh

- mult0 [1, 2, 0, 3, 4] ;

- mult1 [1, 2, 0, 3, 4] ;

- mult2 [1, 2, 0, 3, 4] ;

- mult3 [1, 2, 0, 3, 4] ;

- mult4 [1, 2, 0, 3, 4] ;

- mult5 [1, 2, 0, 3, 4] ;

```