53 Commits

Author	SHA1	Message	Date
Danila Fedorin	824b19123e	Fix a bug in unification (lol)	2023-11-25 23:08:05 -08:00
Danila Fedorin	a9163c0797	Rename the 'Metavariable' type to 'UnificationVar' ... 'metavariable' is inaccurate. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-11-25 22:53:08 -08:00
Danila Fedorin	bfa9deb0b0	Implement a first draft of unification ... Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-11-25 22:51:53 -08:00