Graham Nelson
|
b2a5a56317
|
Finished reorganising subjects
|
2021-02-12 13:33:19 +00:00 |
|
Graham Nelson
|
fab4ab3c78
|
Refactored inference subjects into families with methods
|
2021-02-11 22:53:43 +00:00 |
|
Graham Nelson
|
ce1f8291b9
|
Began work on knowledge module
|
2021-02-09 21:27:52 +00:00 |
|
Graham Nelson
|
6fa43d8caa
|
Improved tables and equations
|
2021-02-07 12:44:02 +00:00 |
|
Graham Nelson
|
b4a6775fa6
|
Reorganised the values module
|
2021-02-06 18:00:34 +00:00 |
|
Graham Nelson
|
43bbcdbaf4
|
Completed assertions module
|
2021-02-05 00:15:21 +00:00 |
|
Graham Nelson
|
e0a25411c8
|
Completed refactor of binary predicates
|
2021-02-02 13:55:27 +00:00 |
|
Graham Nelson
|
180d254ca7
|
Tidying up calculus module
|
2020-09-02 23:24:10 +01:00 |
|
Graham Nelson
|
515b130748
|
Pared calculus module down to essential predicates only
|
2020-08-29 09:33:21 +01:00 |
|
Graham Nelson
|
b0c0bf87ea
|
Further post-fragmentation tidying
|
2020-08-27 15:50:24 +01:00 |
|