root

0 followers · 0 following

• Joined on 2025-04-17

Repositories

3

Projects Packages Public activity Starred repositories

root pushed to master at root/logic 2025-08-18 09:37:51 +00:00

eb965050f3 fix truth table variable order

root pushed to master at root/logic 2025-08-16 08:58:33 +00:00

550e589bc8 laws: (==) iff they are relabellings of each other

root pushed to master at root/logic 2025-08-16 08:56:53 +00:00

b0e98b0e51 use Data.Map

root pushed to master at root/logic 2025-08-15 14:21:37 +00:00

87adb51806 readme: fix link to other readme

root pushed to master at root/logic 2025-08-15 13:14:26 +00:00

dff5b9f365 cabal

root pushed to master at root/logic 2025-08-15 11:37:23 +00:00

30941456a2 readme: link to Logic/ readme

root pushed to master at root/logic 2025-08-15 11:36:04 +00:00

e8a5e2caa7 verify graph paths incl laws graph

root pushed to master at root/logic 2025-08-15 10:10:35 +00:00

fa1a39d1da verify graph path search

687b5f1040 big tidy

Compare 2 commits »

root pushed to master at root/logic 2025-08-12 13:36:16 +00:00

bd9b58c405 tidy: Logic.Parse

root pushed to master at root/logic 2025-08-12 13:29:55 +00:00

88c140fed5 tidy: del unused Eq, add custom Show

56a8dd2b30 bfs: use a Set for visited nodes

Compare 2 commits »

root pushed to master at root/logic 2025-08-12 08:15:43 +00:00

7f0afa76a6 readme: relative markdown links in Logic/

root pushed to master at root/logic 2025-08-12 08:13:11 +00:00

225d0ecbb6 readme: separate readmes

root pushed to master at root/logic 2025-08-12 08:07:02 +00:00

3695430c8f readme: general things first

root pushed to master at root/logic 2025-08-12 08:06:05 +00:00

3bf0555c23 readme: increase readmeability

root pushed to master at root/logic 2025-08-12 08:02:22 +00:00

6f1bca4cbb readme: messing w markdown

root pushed to master at root/logic 2025-08-12 08:01:38 +00:00

95a8670969 readme: messing w markdown

root pushed to master at root/logic 2025-08-12 08:00:51 +00:00

24dd252f41 readme: messing w markdown

a553a17a15 readme: verbose

Compare 2 commits »

root pushed to master at root/logic 2025-08-12 07:54:32 +00:00

c60ae34254 readme: verbose

113aab0fcb really rename it MIU system

Compare 2 commits »

root pushed to master at root/logic 2025-08-12 05:36:40 +00:00

93e2f8d5e9 readme: link to makefile

root pushed to master at root/logic 2025-08-12 05:29:14 +00:00

050d08ffc2 increase readme coolness