2022-10-07 | Mart Lubbers | directory structure | blob | commitdiff | raw |
2022-09-30 | Mart Lubbers | add tiot paper current version | blob | commitdiff | raw | diff to current |
2022-09-22 | Mart Lubbers | insert first-class datatype | blob | commitdiff | raw | diff to current |
2022-09-21 | Mart Lubbers | more updates, slight restructure | blob | commitdiff | raw | diff to current |
2022-09-15 | Mart Lubbers | many updates | blob | commitdiff | raw | diff to current |
2022-09-06 | Mart Lubbers | many updates | blob | commitdiff | raw | diff to current |
2022-04-13 | Mart Lubbers | better structure with subfiles | blob | commitdiff | raw | diff to current |
2022-03-04 | Mart Lubbers | stab at some chapters | blob | commitdiff | raw | diff to current |
2021-05-31 | Mart Lubbers | morewrites, backrefs, structure | blob | commitdiff | raw | diff to current |
2021-05-18 | Mart Lubbers | start with outline and fill in some data | blob | commitdiff | raw | diff to current |
2018-04-12 | Mart Lubbers | Initial commit | blob | commitdiff | raw | diff to current |