https://github.com/b-studios/idris-effekt

Delimited control effects in Idris
https://github.com/b-studios/idris-effekt

control-effects delimited-continuations idris

Last synced: 3 months ago
JSON representation

Delimited control effects in Idris

• Host: GitHub
• URL: https://github.com/b-studios/idris-effekt
• Owner: b-studios
• License: mit
• Created: 2018-11-12T14:17:54.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2020-08-23T09:40:16.000Z (almost 6 years ago)
• Last Synced: 2025-06-21T22:42:19.785Z (12 months ago)
• Topics: control-effects, delimited-continuations, idris
• Language: Idris
• Homepage: http://ps.informatik.uni-tuebingen.de/research/effects
• Size: 6.84 KB
• Stars: 3
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Typing, Representing, and Abstracting Control

Idris code accompanying the TyDe '18 paper ["Typing, Representing, and Abstracting Control"](https://dl.acm.org/doi/10.1145/3240719.3241788).

## Installation

Compile with:

```

idris Main.idr -o main

```

Tested against Idris version 1.3.0.