Graham Nelson
|
8a729ce2d3
|
Web presentation update
|
2022-11-10 22:34:19 +00:00 |
|
Graham Nelson
|
a1aa7642e9
|
Documented and rounded out some debugging features
|
2022-04-18 15:46:46 +01:00 |
|
Graham Nelson
|
994d29968c
|
Better incremental kit-building
|
2022-04-05 12:14:27 +01:00 |
|
Graham Nelson
|
cba72a3537
|
Improved source website
|
2022-04-04 18:31:44 +01:00 |
|
Graham Nelson
|
4a3e6d0cf7
|
More systematic synoptic generation
|
2021-05-08 13:11:12 +01:00 |
|
Graham Nelson
|
8d943adfb8
|
Further work on calculus notation
|
2020-08-22 18:52:28 +01:00 |
|
Graham Nelson
|
fb9d3d81f4
|
Completed Chapter 3 of kinds module
|
2020-08-17 22:57:45 +01:00 |
|
Graham Nelson
|
23041df765
|
Further work on kinds module and its testing
|
2020-08-09 18:39:31 +01:00 |
|
Graham Nelson
|
aa54188874
|
Enter the Lcon
|
2020-07-01 00:58:55 +01:00 |
|
Graham Nelson
|
822b38d314
|
Migrated to clang 11
|
2020-06-27 23:18:54 +01:00 |
|
Graham Nelson
|
7e78952505
|
Completed inflections
|
2020-05-24 16:15:15 +01:00 |
|
Graham Nelson
|
eace688fea
|
Started in on inflections
|
2020-05-23 22:57:42 +01:00 |
|
Graham Nelson
|
a77ae3b34b
|
Moved some Preform utilities back to words
|
2020-05-22 09:38:17 +01:00 |
|
Graham Nelson
|
c63b502165
|
Work in progress
|
2020-05-12 23:33:17 +01:00 |
|
Graham Nelson
|
0be5d9ba77
|
Improvements to words module
|
2020-05-12 10:00:53 +01:00 |
|
Graham Nelson
|
51be4aa9d7
|
Introduced module overviews
|
2020-05-03 16:34:53 +01:00 |
|
Graham Nelson
|
04b07bbdfb
|
Moved weave colony to shared assets
|
2020-05-03 01:20:55 +01:00 |
|
Graham Nelson
|
f29b66da93
|
Catching up with Inweb changes
|
2020-05-03 01:01:21 +01:00 |
|
Graham Nelson
|
ae621dd4d0
|
Catching up with Foundation function name changes
|
2020-04-15 23:49:59 +01:00 |
|
Graham Nelson
|
1268a0f40e
|
Colonised
|
2020-04-14 17:56:54 +01:00 |
|
Graham Nelson
|
fd4a46ddd8
|
Modernised use of extracts
|
2020-04-07 01:06:09 +01:00 |
|
Graham Nelson
|
b254a8d41f
|
Added arch-test
|
2020-03-29 12:32:49 +01:00 |
|
Graham Nelson
|
dbd514292f
|
Added unit test tool for building
|
2020-03-28 23:18:10 +00:00 |
|
Graham Nelson
|
424392c3d1
|
Simplified unit test tools and module interfaces
|
2020-03-28 19:42:53 +00:00 |
|
Graham Nelson
|
c49ce42a2e
|
New-style weave navigation
|
2020-03-19 00:11:25 +00:00 |
|
Graham Nelson
|
d8e8d824cc
|
Tidied compilation modules
|
2019-04-22 15:42:10 +01:00 |
|
Graham Nelson
|
e3de59fc48
|
Further refactored compilation modules
|
2019-04-22 15:06:29 +01:00 |
|
Graham Nelson
|
9bca5b8bc2
|
Removed footer comment from woven HTML, to reduce spurious changes
|
2019-03-18 00:41:42 +00:00 |
|
Graham Nelson
|
d969e624cb
|
Incorporated GitHub pages
|
2019-03-17 12:40:57 +00:00 |
|