Add a MonadRec instance to UnifyT

2023-03-12 21:05:03 -07:00 · 2023-03-12 21:05:03 -07:00 · 2023-03-03 22:42:05 -08:00 · 2023-03-03 22:26:33 -08:00 · 2023-03-03 22:26:33 -08:00 · 2023-03-12 21:05:03 -07:00
diff --git a/Danila Fedorin b/Danila Fedorin
Danila Fedorin ef3dabfa22 Add a MonadRec instance to UnifyT		2023-03-12 21:05:03 -07:00
src/Control/Monad/Unify	Add a MonadRec instance to UnifyT	2023-03-12 21:05:03 -07:00
test	Copy over implementation of Unify from Bergamot	2023-03-03 22:42:05 -08:00
.gitignore	Initial commit	2023-03-03 22:26:33 -08:00
packages.dhall	Initial commit	2023-03-03 22:26:33 -08:00
spago.dhall	Add a MonadRec instance to UnifyT	2023-03-12 21:05:03 -07:00