Giters

felixwiemuth / ocaml2lang

Compiler from OCaml to AnerisLang

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ocaml2lang

Compiler from OCaml sources to AnerisLang

How to install

Pin the ocaml2lang package:

  opam pin git+https://github.com/leon-gondelman/ocaml2lang

This will produce an executable o2a. After installation succeeds, you can try o2a by doing

  $ o2a --h

How to use

TODO

Credits

Special thanks to Armaël Guéneau for his kind help and explanations.

About

Compiler from OCaml to AnerisLang

Languages

Language:OCaml 61.3%Language:Coq 38.3%Language:Shell 0.3%Language:Standard ML 0.1%Language:Makefile 0.1%