15 commits

Author	SHA1	Message	Date
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	f2e9f5b8b9	And further rearrangement	2021-06-02 23:10:13 +01:00
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