|
|
590306964c
|
Add instance for MonadUnify for ReaderT
|
2023-03-04 18:55:54 -08:00 |
|
|
|
014d9b38c8
|
Allow store to work if a term is already stored
|
2023-03-04 16:57:09 -08:00 |
|
|
|
e45201ba45
|
Return the unification state from runUnifyT.
|
2023-03-04 14:52:00 -08:00 |
|
|
|
1f93dc1745
|
Add MonadUnify instance for the state monad.
|
2023-03-04 14:24:52 -08:00 |
|
|
|
d1e227dbed
|
Delete unused imports to silence warnings
|
2023-03-03 23:00:09 -08:00 |
|
|
|
80dc5b6a2c
|
Use derive newtype instance to save some boilerplate
|
2023-03-03 22:56:32 -08:00 |
|
|
|
734f231250
|
Remove main module
|
2023-03-03 22:48:22 -08:00 |
|
|
|
dc797e941a
|
Copy over implementation of Unify from Bergamot
|
2023-03-03 22:42:05 -08:00 |
|
|
|
4c8e62d7a3
|
Initial commit
|
2023-03-03 22:26:33 -08:00 |
|
