Commit graph

Select branches

Hide pull requests

master

Mono Color

• eb965050f3 fix truth table variable order master hi 2025-08-18 09:37:30 +00:00
• 550e589bc8 laws: (==) iff they are relabellings of each other hi 2025-08-16 08:58:22 +00:00
• b0e98b0e51 use Data.Map hi 2025-08-15 15:20:40 +00:00
• 87adb51806 readme: fix link to other readme hi 2025-08-15 14:21:23 +00:00
• dff5b9f365 cabal hi 2025-08-15 13:10:36 +00:00
• 30941456a2 readme: link to Logic/ readme hi 2025-08-15 11:37:13 +00:00
• e8a5e2caa7 verify graph paths incl laws graph hi 2025-08-15 11:35:50 +00:00
• fa1a39d1da verify graph path search hi 2025-08-15 10:10:20 +00:00
• 687b5f1040 big tidy hi 2025-08-15 10:06:31 +00:00
• bd9b58c405 tidy: Logic.Parse hi 2025-08-12 13:36:06 +00:00
• 88c140fed5 tidy: del unused Eq, add custom Show hi 2025-08-12 13:28:58 +00:00
• 56a8dd2b30 bfs: use a Set for visited nodes hi 2025-08-12 13:28:23 +00:00
• 7f0afa76a6 readme: relative markdown links in Logic/ hi 2025-08-12 08:15:34 +00:00
• 225d0ecbb6 readme: separate readmes hi 2025-08-12 08:13:03 +00:00
• 3695430c8f readme: general things first hi 2025-08-12 08:06:53 +00:00
• 3bf0555c23 readme: increase readmeability hi 2025-08-12 08:05:52 +00:00
• 6f1bca4cbb readme: messing w markdown hi 2025-08-12 08:00:28 +00:00
• a553a17a15 readme: verbose hi 2025-08-12 07:54:13 +00:00
• 113aab0fcb really rename it MIU system hi 2025-08-12 07:54:03 +00:00
• 93e2f8d5e9 readme: link to makefile hi 2025-08-12 05:36:29 +00:00
• 050d08ffc2 increase readme coolness hi 2025-08-12 05:29:08 +00:00
• e46bcf6ddc nice readme, rename M to MIU system hi 2025-08-12 05:21:15 +00:00
• b28263fdc3 logical laws: breadth first search hi 2025-08-12 04:00:03 +00:00
• be7460ddf1 breadth first search hi 2025-08-12 03:58:25 +00:00
• 0e7bca0baa apply logical laws hi 2025-08-12 03:59:40 +00:00
• d0ba6ce9d4 minor: substatements function, comments hi 2025-08-12 03:57:13 +00:00
• 0d13b807f0 another L derivation example hi 2025-08-12 03:56:04 +00:00
• aeb441e06d language derivations: add hypotheses, L example hi 2025-08-10 16:09:10 +00:00
• 8a85dcfc8f formal language derivations hi 2025-08-10 15:44:27 +00:00
• e2aae59499 fix: language M rule 4 not removing late UUs hi 2025-08-10 15:29:57 +00:00
• 9233edfb4b formal language L hi 2025-08-10 13:32:42 +00:00
• ab8ed1c73c generalize parser symbols; parser monad hi 2025-08-10 13:31:20 +00:00
• 4d7fd8be7c formal languages hi 2025-08-10 09:17:00 +00:00
• 7eeb59c0e3 logical laws hi 2025-08-08 08:14:37 +00:00
• 3447b3c0f1 makefile weirdness with $ hi 2025-08-08 05:01:52 +00:00
• acdbeee788 typo: Main.hs hi 2025-08-08 04:57:54 +00:00
• f3d1125e1a typo: makefile regex hi 2025-08-08 04:52:47 +00:00
• c344be1bea readme hi 2025-08-08 04:39:55 +00:00
• d781334419 split Logic.Statement into files, simpler serialization hi 2025-08-08 04:36:22 +00:00
• 0fa510e31a separate into files, parser error messages hi 2025-08-07 09:23:50 +00:00
• 68bc86c496 latex truth table: fix counting hi 2025-08-02 09:25:48 +00:00
• f044938d74 latex truth table: fix table spec length hi 2025-08-02 09:21:25 +00:00
• aeb4266118 typo: \cap \cup -> \land \lor hi 2025-08-01 14:07:58 +00:00
• 599e553800 latex truth table: main column hi 2025-08-01 13:07:44 +00:00
• 8fa9f3698c oops: the last commit but properly hi 2025-07-31 12:32:46 +00:00
• c6628aedd1 no spaces in latex truth table hi 2025-07-31 12:25:53 +00:00
• 0df55f349d undo progress on making the cols align hi 2025-07-31 12:24:41 +00:00
• 1e66888807 latex truth table: hard part hi 2025-07-31 12:22:12 +00:00
• 5e0827b17d dont use Data.Map hi 2025-07-31 12:21:50 +00:00
• d7d1e0cb05 latex truth table: easy part hi 2025-07-31 11:29:43 +00:00
• 1a2c2fb50f serialize statements hi 2025-07-31 11:08:27 +00:00
• 4fd2571d55 initial working: 2025-07-30 hi 2025-07-31 10:52:20 +00:00