2 Commits

Author	SHA1	Message	Date
krasimir	b3680b6025	merge the states for reasoning and evaluation into a single structure	2015-07-03 11:53:52 +00:00
kr.angelov	70c70fa791	a skeletal module for higher-order pattern unification in the C runtime	2014-10-31 19:57:56 +00:00