Skip to content
/ abt Public

Ocaml port of CMU's ABT library (with various modifications).

Notifications You must be signed in to change notification settings

ayberkt/abt

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

36 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

abt

Ocaml port of CMU's ABT library (with various modifications).

examples

To build:

dune build examples/foo.exe
dune build examples/untyped.exe

To run:

./_build/default/examples/foo.exe
./_build/default/examples/untyped.exe

About

Ocaml port of CMU's ABT library (with various modifications).

Topics

Resources

Stars

Watchers

Forks

Packages

No packages published

Contributors 3

  •  
  •  
  •