Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Everything-I-Know.../logict 2023-03-11 18:54:28 -08:00
95c83a1ec0 Export SFKT constructor
DanilaFe pushed to master at Web-Projects/blog-static 2023-03-11 14:57:19 -08:00
e0d7332dea Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-03-11 14:56:55 -08:00
5202c57e2b Fix highlighted code lines in dark mode
DanilaFe pushed to master at Web-Projects/blog-static 2023-03-11 14:08:52 -08:00
d6b8eb8548 Update theme with CSS variable fallbacks
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-03-11 14:08:13 -08:00
0bd55bc58a Add fallbacks to CSS variables for older browsers
DanilaFe pushed to master at Web-Projects/blog-static 2023-03-11 12:16:27 -08:00
2964b6c6fa Tweak some wording in the variables article
a0cd1074e1 Update the theme with dark mode support
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-03-11 12:14:04 -08:00
c631be65bc Tentatively add a dark mode
DanilaFe pushed to master at Everything-I-Know.../bergamot 2023-03-05 21:33:53 -08:00
930a05c951 Add a parser and use it for reading rules and queries
545416fce0 Split the code into proper modules
Compare 2 commits »
DanilaFe pushed to master at Everything-I-Know.../bergamot 2023-03-04 22:46:28 -08: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-04 22:02:33 -08:00
a2d2b10e86 Make the failure continuation a function to avoid strictness
DanilaFe pushed to master at Everything-I-Know.../logict 2023-03-04 21:47:46 -08:00
1a2f69036c Make once really only run once
DanilaFe pushed to master at Everything-I-Know.../logict 2023-03-04 19:02:02 -08: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-04 19:01:00 -08:00
590306964c Add instance for MonadUnify for ReaderT
DanilaFe pushed to master at Everything-I-Know.../bergamot 2023-03-04 18:02:17 -08:00
a9fc768182 Get a rule search engine working with hardcoded rules
DanilaFe pushed to master at Everything-I-Know.../unifyt 2023-03-04 16:57:36 -08:00
014d9b38c8 Allow store to work if a term is already stored
DanilaFe pushed to master at Everything-I-Know.../logict 2023-03-04 15:23:09 -08:00
c2088a6967 Weaken the constraint on running once
DanilaFe pushed to master at Everything-I-Know.../logict 2023-03-04 15:17:06 -08: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 14:53:29 -08:00
e45201ba45 Return the unification state from runUnifyT.
DanilaFe pushed to master at Everything-I-Know.../unifyt 2023-03-04 14:25:10 -08:00
1f93dc1745 Add MonadUnify instance for the state monad.
DanilaFe created branch master in Everything-I-Know.../bergamot 2023-03-03 23:23:16 -08:00