1 Forks
26 Stars
26 Watchers

um-abt

An OCaml library implementing unifiable abstract binding trees (UABTs)

How to download and setup um-abt

Open terminal and run command
git clone https://github.com/shonfeder/um-abt.git
git clone is used to create a copy or clone of um-abt repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with um-abt https://github.com/shonfeder/um-abt/archive/master.zip

Or simply clone um-abt with SSH
[email protected]:shonfeder/um-abt.git

If you have some problems with um-abt

You may open issue on um-abt support forum (system) here: https://github.com/shonfeder/um-abt/issues