thodg/slides
Branch :
Log
| Author | Commit | Date | CI | Message |
|---|---|---|---|---|
 |
700ba259 | 2022-02-20 10:59:57 | bsd | |
|
6c7f50ad | 2022-02-20 10:58:47 | update urls | |
|
7849e27b | 2020-05-22 11:45:17 | modal-logic: simplify definitions | |
|
ccd5ed5c | 2020-05-22 11:42:51 | update modal-logic | |
|
8e5f1922 | 2020-05-22 11:24:07 | modal logic: possibly | |
|
9f68abc6 | 2020-05-17 17:22:33 | specify semantics are for all data | |
|
2f4efbb0 | 2020-05-17 17:20:22 | remove blurbs | |
|
9a62394b | 2020-05-17 13:15:33 | language: add sizing information | |
|
0efa1926 | 2020-05-17 12:44:54 | language | |
|
955b1103 | 2020-05-17 12:14:58 | modal logic |