3 Commits

Author	SHA1	Message	Date
David Evans	55b5232fa6	Add autocomplete to editor [#4]	2017-10-29 16:41:33 +00:00
David Evans	4d301adf31	Add syntax colouring [#4]	2017-10-28 22:16:44 +01:00
David Evans	6eb8de8160	Basic functionality (agents and labelled arrows)	2017-10-23 01:46:43 +01:00