Tyme

Tyme is a functional programming language with an expressive behavioural type system that keeps track of multiplicities and effects.

Getting started

Prerequisites

• OCaml and opam
• Dune
• opam install core ppx_jane

Usage

Launch the Tyme REPL

dune exec tyme

Load definitions from a file

dune exec tyme path/to/file.tyme

Testing

Run all tests

dune test

Run a specific test

dune test path/to/test.t

Contributing

TODO