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-12 21:03:47 -07:00
3fe4f60542 Add experimental MonadRec instance for SFKT
DanilaFe pushed to master at Everything-I-Know.../bergamot 2023-03-12 00:41:54 -08:00
3aebd99805 Add an isInt primitive predicate
0c1deb4c8f Make int literals parseable
ac37e82979 Add integer and strings to the language
fe7c01f6c2 Add support for backslashes to identifiers
3ab3126bbf Extract latex generation to a typeclass
Compare 5 commits »
DanilaFe pushed to master at Everything-I-Know.../logict 2023-03-12 00:31:17 -08:00
e19721af5e Avoid calling failure continuation in msplit
DanilaFe pushed to master at Everything-I-Know.../logict 2023-03-12 00:03:04 -08:00
9f91c31b2d Add a lazy instance for LogicT.
DanilaFe pushed to master at Everything-I-Know.../logict 2023-03-11 23:36:11 -08:00
398fccecf0 Fix StateT and ReaderT interleave instances
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