Graham Nelson
|
623d5e340c
|
Wrote basic calculus-test tool
|
2020-08-22 12:59:50 +01:00 |
|
Graham Nelson
|
568f512b3a
|
Revised Neptune language
|
2020-08-19 18:32:30 +01:00 |
|
Graham Nelson
|
fb9d3d81f4
|
Completed Chapter 3 of kinds module
|
2020-08-17 22:57:45 +01:00 |
|
Graham Nelson
|
2a48aeb128
|
Completed Chapter 2 of kinds module
|
2020-08-12 13:05:44 +01:00 |
|
Graham Nelson
|
9a97eebe02
|
Clarified kind conformance order relation
|
2020-08-11 23:59:29 +01:00 |
|
Graham Nelson
|
ebc90ce213
|
Join and meet operations on kinds
|
2020-08-11 15:07:58 +01:00 |
|
Graham Nelson
|
83dcd79164
|
Improved kind-checking of contravariant constructors
|
2020-08-11 11:55:39 +01:00 |
|
Graham Nelson
|
4ab9cf250d
|
Further testing of kinds
|
2020-08-09 23:42:41 +01:00 |
|
Graham Nelson
|
23041df765
|
Further work on kinds module and its testing
|
2020-08-09 18:39:31 +01:00 |
|
Graham Nelson
|
dd0605493a
|
Moved kinds module to services library and added test utility
|
2020-08-08 17:40:02 +01:00 |
|
Graham Nelson
|
424392c3d1
|
Simplified unit test tools and module interfaces
|
2020-03-28 19:42:53 +00:00 |
|
Graham Nelson
|
4054358914
|
Documented Inbuild
|
2020-03-26 19:22:26 +00:00 |
|
Graham Nelson
|
9aa6176dc0
|
Added module lists to weaves
|
2020-03-25 23:44:14 +00:00 |
|
Graham Nelson
|
2c292048cd
|
Conform to new README system
|
2020-03-23 21:42:00 +00:00 |
|
Graham Nelson
|
c49ce42a2e
|
New-style weave navigation
|
2020-03-19 00:11:25 +00:00 |
|
Graham Nelson
|
3349701c7e
|
Relocated words and syntax modules
|
2020-03-11 00:21:09 +00:00 |
|
Graham Nelson
|
5c8d078e4b
|
Completed redrafting of Standard Rules
|
2020-01-25 23:42:42 +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
|
40b1d60e8b
|
Typo
|
2019-03-18 00:37:03 +00:00 |
|
Graham Nelson
|
d969e624cb
|
Incorporated GitHub pages
|
2019-03-17 12:40:57 +00:00 |
|