Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

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