croco-lang

Basic purely functional programming language based on term rewriting

Usage no npm install needed!

<script type="module">
  import crocoLang from 'https://cdn.skypack.dev/croco-lang';
</script>

README

Croco

A simple purely functional programming language which compiles down to girafe.

Installation

npm install croco-lang

Usage

$ run: croco src.cro [out]
$ compile to intermediate language: croco src.cro out js/ocaml/girafe
$ compile to binary: croco src.cro -c out

Todo

support laziness
IO