Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Everything-I-Know…/bergamot 2023-03-05 06:46:28 +00:00
6a7a2eab19 Add 'gas' to cut off too-long computations
49b6b537b0 Use a reader monad to keep track of the rules
Compare 2 commits »
DanilaFe pushed to master at Everything-I-Know…/logict 2023-03-05 06:02:33 +00:00
a2d2b10e86 Make the failure continuation a function to avoid strictness
DanilaFe pushed to master at Everything-I-Know…/logict 2023-03-05 05:47:46 +00:00
1a2f69036c Make once really only run once
DanilaFe pushed to master at Everything-I-Know…/logict 2023-03-05 03:02:02 +00:00
2facde2377 Update test code
e08de1f8f7 Add MonadLogic instence for ReaderT
Compare 2 commits »
DanilaFe pushed to master at Everything-I-Know…/unifyt 2023-03-05 03:01:00 +00:00
590306964c Add instance for MonadUnify for ReaderT
DanilaFe pushed to master at Everything-I-Know…/bergamot 2023-03-05 02:02:17 +00:00
a9fc768182 Get a rule search engine working with hardcoded rules
DanilaFe pushed to master at Everything-I-Know…/unifyt 2023-03-05 00:57:36 +00:00
014d9b38c8 Allow store to work if a term is already stored
DanilaFe pushed to master at Everything-I-Know…/logict 2023-03-04 23:23:09 +00:00
c2088a6967 Weaken the constraint on running once
DanilaFe pushed to master at Everything-I-Know…/logict 2023-03-04 23:17:06 +00:00
45b21d50f9 Add a way to only get one value out
f1792e6627 Change runSFKT to report all results of execution
Compare 2 commits »
DanilaFe pushed to master at Everything-I-Know…/unifyt 2023-03-04 22:53:29 +00:00
e45201ba45 Return the unification state from runUnifyT.
DanilaFe pushed to master at Everything-I-Know…/unifyt 2023-03-04 22:25:10 +00:00
1f93dc1745 Add MonadUnify instance for the state monad.
DanilaFe created branch master in Everything-I-Know…/bergamot 2023-03-04 07:23:16 +00:00
DanilaFe pushed to master at Everything-I-Know…/bergamot 2023-03-04 07:23:16 +00:00
755d514342 Extract UnifyT into its own package and get an example going
7fc58ce0af Add initial version of unification monad transformer
394fab8914 Initial commit + basic Expr impl
DanilaFe created repository Everything-I-Know…/bergamot 2023-03-04 07:22:59 +00:00
DanilaFe pushed to master at Everything-I-Know…/unifyt 2023-03-04 07:00:25 +00:00
d1e227dbed Delete unused imports to silence warnings
DanilaFe pushed to master at Everything-I-Know…/unifyt 2023-03-04 06:58:05 +00:00
80dc5b6a2c Use derive newtype instance to save some boilerplate
DanilaFe pushed to master at Everything-I-Know…/unifyt 2023-03-04 06:48:28 +00:00
734f231250 Remove main module
DanilaFe pushed to master at Everything-I-Know…/logict 2023-03-01 03:18:08 +00:00
24298710fa Remove unused imports
DanilaFe pushed to master at Nix-Configs/server-config 2023-02-20 06:58:23 +00:00
513edc34ce Update lockfile to push website forward
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2023-02-20 06:57:16 +00:00
d44e5fc12f Update blog and resume code