3 Forks
22 Stars
22 Watchers

hm-parser

A parser for Hidnley Milner notations

How to download and setup hm-parser

Open terminal and run command
git clone https://github.com/xodio/hm-parser.git
git clone is used to create a copy or clone of hm-parser 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 hm-parser https://github.com/xodio/hm-parser/archive/master.zip

Or simply clone hm-parser with SSH
[email protected]:xodio/hm-parser.git

If you have some problems with hm-parser

You may open issue on hm-parser support forum (system) here: https://github.com/xodio/hm-parser/issues