5 commits

Author	SHA1	Message	Date
Mikael Vejdemo-Johansson	5100dc69da	typo	2015-04-08 13:54:30 +02:00
Mikael Vejdemo-Johansson	8039d48537	removed use of h_many to get desugars	2015-04-08 13:53:45 +02:00
Mikael Vejdemo-Johansson	61a211559e	fixed build errors wrt sentinels	2015-04-08 13:46:42 +02:00
Mikael Vejdemo-Johansson	9a1812bd49	added ties to build script	2015-04-08 13:44:14 +02:00
Mikael Vejdemo-Johansson	7fdc687bd4	parsers for the grammars in the tieknots paper	2015-04-08 09:33:20 +02:00