https://github.com/dignissimus/coexp

Implementation of the lambda-lambda-bar calculus from "The Duality of Abstraction" https://vikraman.org/files/popl24-coexp.pdf
https://github.com/dignissimus/coexp

Last synced: 3 days ago
JSON representation

Implementation of the lambda-lambda-bar calculus from "The Duality of Abstraction" https://vikraman.org/files/popl24-coexp.pdf

• Host: GitHub
• URL: https://github.com/dignissimus/coexp
• Owner: dignissimus
• Created: 2024-01-08T06:39:29.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-02-11T12:22:12.000Z (11 months ago)
• Last Synced: 2024-05-02T05:29:43.591Z (8 months ago)
• Language: Rust
• Homepage:
• Size: 44.9 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Coexp

# Installation

```bash

cargo install --path .

```

# Usage

## Repl

```

coexp

```

## Execute file

```

coexp file.coexp

```

# Example programm

```hs

hello = 1

variable = other

id = fn x => x

one = id 1

zero = case cofn x => x {

    | inl x => 0

    | inr f => f @ 1

}

unit = ()

function = fn parameter => ()

const = fn x => fn y => x

cofunction = cofn parameter => ()

two = case inl 2 {

    | inl x => x

    | inr x => x

}

left = inl 1

right = inr 1

debug!(case cofn x => x {

    | inl x => 0

    | inr f => f @ 1

})

```