Commit Graph

4 Commits

Author SHA1 Message Date
824b19123e Fix a bug in unification (lol) 2023-11-25 23:08:05 -08:00
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
bfa9deb0b0 Implement a first draft of unification
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-11-25 22:51:53 -08:00
d0b88ee6df Initial commit
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-11-25 22:51:39 -08:00