.. |
1-im.html
|
Reorganised the values module
|
2021-02-06 18:00:34 +00:00 |
1-ism.html
|
Simplified instances
|
2021-02-12 23:46:18 +00:00 |
2-bd.html
|
Reorganised variables
|
2021-02-15 12:10:54 +00:00 |
2-ifi.html
|
Completed assertions module
|
2021-02-05 00:15:21 +00:00 |
2-ri.html
|
Reorganised variables
|
2021-02-15 12:10:54 +00:00 |
3-bck.html
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
3-dvc.html
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
3-em.html
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
3-enah.html
|
Finished reorganising subjects
|
2021-02-12 13:33:19 +00:00 |
3-hm.html
|
Simplified instances
|
2021-02-12 23:46:18 +00:00 |
3-mcr.html
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
3-prs.html
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
3-rgn.html
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
3-sc.html
|
Simplified instances
|
2021-02-12 23:46:18 +00:00 |
3-scn.html
|
Simplified instances
|
2021-02-12 23:46:18 +00:00 |
3-sg.html
|
Completed assertions module
|
2021-02-05 00:15:21 +00:00 |
3-sm.html
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
3-sm2.html
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
3-sr.html
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
3-tm.html
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
3-tm2.html
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
3-tnt.html
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
3-tp.html
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
3-ts.html
|
Reorganised variables
|
2021-02-15 12:10:54 +00:00 |
4-act.html
|
Finished reorganising subjects
|
2021-02-12 13:33:19 +00:00 |
4-ai.html
|
Completed assertions module
|
2021-02-05 00:15:21 +00:00 |
4-anl.html
|
Reorganised the values module
|
2021-02-06 18:00:34 +00:00 |
4-ap.html
|
Reorganised variables
|
2021-02-15 12:10:54 +00:00 |
4-los.html
|
Completed assertions module
|
2021-02-05 00:15:21 +00:00 |
4-nap.html
|
Completed assertions module
|
2021-02-05 00:15:21 +00:00 |
5-gl.html
|
Completed assertions module
|
2021-02-05 00:15:21 +00:00 |
5-gp.html
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
5-gpr.html
|
Finished reorganising subjects
|
2021-02-12 13:33:19 +00:00 |
5-gt.html
|
Completed assertions module
|
2021-02-05 00:15:21 +00:00 |
5-gt2.html
|
Finished reorganising subjects
|
2021-02-12 13:33:19 +00:00 |
5-gv.html
|
Refactored inference subjects into families with methods
|
2021-02-11 22:53:43 +00:00 |
5-itg.html
|
Completed assertions module
|
2021-02-05 00:15:21 +00:00 |
5-nft.html
|
Finished reorganising subjects
|
2021-02-12 13:33:19 +00:00 |
5-tfg.html
|
Further refactoring of adjectives
|
2021-02-13 23:26:01 +00:00 |
5-tpv.html
|
Simplified instances
|
2021-02-12 23:46:18 +00:00 |
index.html
|
Completed assertions module
|
2021-02-05 00:15:21 +00:00 |