zseri
/
ermit
1
0
Fork 0
Code Issues 0 Pull Requests 0 Projects 0 Releases 0 Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
7 Commits
1 Branch
38 KiB
 
 
Branch: main
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'main'
${ noResults }
 ZIP  TAR.GZ
zseri 3178e32511 improve the parser, get rid of parsing NL NL 3 weeks ago
docs fix example and publish README 3 weeks ago
.gitignore initial commit 3 weeks ago
LICENSE initial commit 3 weeks ago
README.md fix example and publish README 3 weeks ago
ast.ml initial commit 3 weeks ago
default.nix initial commit 3 weeks ago
dune initial commit 3 weeks ago
dune-project initial commit 3 weeks ago
ermit.ml fix flat rendering 3 weeks ago
ermit.opam initial commit 3 weeks ago
flake.lock initial commit 3 weeks ago
flake.nix initial commit 3 weeks ago
index.nix initial commit 3 weeks ago
lex.ml get rid of lexer debugging 3 weeks ago
parser.mly improve the parser, get rid of parsing NL NL 3 weeks ago
shell.nix initial commit 3 weeks ago

README.md

ermit

BUILD

using nix

nix build -v -L
# the executable path:
ERMIT=result/bin/ermit

alternative: using dune

(requires OCaml)

dune build
# the executable path:
ERMIT=_build/default/ermit.exe

USAGE, e.g.

$ERMIT docs/ex.erm > /tmp/ex.dot
dot -Tsvg /tmp/ex.dot -o /tmp/ex.svg