https://github.com/ayberkt/abt

Ocaml port of CMU's ABT library (with various modifications).
https://github.com/ayberkt/abt

abstract-syntax binding substitution variable

Last synced: 23 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/ayberkt/abt
• Owner: ayberkt
• Created: 2017-03-01T21:25:17.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2024-04-19T15:51:46.000Z (about 1 year ago)
• Last Synced: 2024-04-19T16:36:46.366Z (about 1 year ago)
• Topics: abstract-syntax, binding, substitution, variable
• Language: OCaml
• Homepage:
• Size: 98.6 KB
• Stars: 9
• Watchers: 6
• Forks: 2
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# 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

```