leon-gondelman/ocaml2lang
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Compiler from OCaml to AnerisLang
123 commits 3 branches 1 tag 271 KiB
  • OCaml 61.3%
  • Rocq Prover 38.3%
  • Shell 0.3%
Find a file
Exact
mariojppereira fd14fa426f
 Merge pull request #5 from abeln/main 
Ensure that `ignore` is translated with unit return type
2021-11-19 20:03:00 +01:00
bin minor (disable timestamps) 2021-08-17 12:25:29 +02:00
lib Ensure that ignore is translated with unit return type 2021-11-09 15:33:22 -05:00
test optimize tuple destruction bound to var 2021-09-20 10:30:01 +02:00
tmp cleaning of test folder 2021-08-05 12:04:25 +02:00
.gitignore Create .gitignore 2020-11-24 22:10:19 +01:00
.ocp-indent Support for some OCaml constructions: 2021-07-27 13:22:57 +01:00
_builtin Examples with _OCamlProject. 2021-07-31 18:09:01 +01:00
dune-project added paxos example and fixed record fields 2021-08-09 17:00:27 +02:00
Makefile Makefile and executable 2021-08-16 13:37:11 +02:00
ocaml2lang.opam Update ocaml2lang.opam 2021-09-20 10:32:08 +02:00
README.md Update README.md 2021-08-17 10:14:15 +02:00
run.sh more tool and examples 2021-08-05 12:01:39 +02:00

README.md

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.