21 commits

Author	SHA1	Message	Date
Graham Nelson	ee39beb662	Cosmetic improvements	2021-03-30 10:50:04 +01:00
Graham Nelson	7bb00a274c	Beginning work on command grammar	2021-03-14 13:42:15 +00:00
Graham Nelson	e50bfc5ceb	Started in on actions plugin	2021-02-27 00:41:51 +00:00
Graham Nelson	b6b68a8f9d	Make actions and parsing plugins more prominent	2021-02-24 00:17:14 +00:00
Graham Nelson	caa5069ed5	Began revamp of plugins	2021-02-19 23:20:09 +00:00
Graham Nelson	b2a5a56317	Finished reorganising subjects	2021-02-12 13:33:19 +00:00
Graham Nelson	b4a6775fa6	Reorganised the values module	2021-02-06 18:00:34 +00:00
Graham Nelson	568f512b3a	Revised Neptune language	2020-08-19 18:32:30 +01:00
Graham Nelson	f695cd7a4f	Further work on Neptune	2020-08-19 00:56:02 +01:00
Graham Nelson	e0cf630409	Rewrote Neptune files parser	2020-08-18 18:59:08 +01:00
Graham Nelson	fb9d3d81f4	Completed Chapter 3 of kinds module	2020-08-17 22:57:45 +01:00
Graham Nelson	cf7f5afe51	Use void not nil for terminator in tupling trees	2020-08-12 22:59:18 +01:00
Graham Nelson	e4251bf5d7	Added variance test case	2020-08-12 13:07:35 +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	81491dc4e1	Changed the way kinds are tested for being objects	2020-08-11 12:38:21 +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