syndicate-lang
/
preserves
mirror of https://gitlab.com/preserves/preserves.git
1
0
Fork 1
Code Releases Activity
preserves/implementations
History
Tony Garnock-Jones 87ecdb7efe Make Annotations preserveable 2024-05-15 09:34:28 +02:00
..
c Remove single-precision floats from the implementations 2024-01-27 14:40:37 +01:00
cpp Remove single-precision floats from the implementations 2024-01-27 14:40:37 +01:00
dhall Switch from `#!` to `#:` for embedded values 2024-02-05 22:38:49 +01:00
javascript Make Annotations preserveable 2024-05-15 09:34:28 +02:00
python Use python3 explicitly in .envrc 2024-05-06 14:20:25 +02:00
racket/preserves Repair error wrt interpreter lines in pexpr text 2024-05-02 16:21:47 +02:00
rust Remove split-out Rust implementation 2024-01-28 15:18:08 +01:00
README.md Remove split-out Rust implementation 2024-01-28 15:18:08 +01:00

README.md

Preserves Implementations

Here you may find:

  • dhall, functions for converting Dhall values to a corresponding subset of Preserves.

  • javascript, an implementation in TypeScript, compiling to JavaScript, for node.js and the Browser.

  • python, an implementation for Python 2.x and 3.x.

  • racket, an implementation for Racket 7.x and newer (though older Rackets may also work with it).

Other implementations are also available: