Skip to content
/ abt Public

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

9 stars 2 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

ayberkt/abt

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

36 Commits

examples

examples

 
 

src

src

 
 

.gitignore

.gitignore

 
 

README.md

README.md

 
 

abt.opam

abt.opam

 
 

dune-project

dune-project

 
 

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

binding variable abstract-syntax substitution

Resources

Readme
Activity

Stars

9 stars

Watchers

6 watching

Forks

2 forks
Report repository

Releases

1 tags

Packages

No packages published

Contributors 3

  •  
  •  
  •  

Languages