25 Commits

Author	SHA1	Message	Date
Tom Sydney Kerckhove	32ebf5589d	some way of solving choice	2021-10-26 22:53:44 +02:00
Tom Sydney Kerckhove	11234259c3	get rid of the thing that is broken	2021-10-26 21:20:51 +02:00
Tom Sydney Kerckhove	8110b035c7	found a major bug with choice	2021-10-24 23:40:28 +02:00
Tom Sydney Kerckhove	6638000c3a	EqCodec	2021-10-24 23:07:14 +02:00
Tom Sydney Kerckhove	117fdefe70	comments in json schema	2021-10-24 19:43:52 +02:00
Tom Sydney Kerckhove	681313ab7e	test failure	2021-10-24 19:34:17 +02:00
Tom Sydney Kerckhove	6eec7dfa27	names for arrays and objects, for error messages and for documentation	2021-10-24 15:21:37 +02:00
Tom Sydney Kerckhove	c252d80fbb	Basic comments	2021-10-23 21:32:06 +02:00
Tom Sydney Kerckhove	9f8a315f61	optional fields	2021-10-23 21:13:51 +02:00
Tom Sydney Kerckhove	566493a245	basic pretty schema rendering without colour so far	2021-10-23 20:09:12 +02:00
Tom Sydney Kerckhove	949665a190	Started on autodocodec-yaml	2021-10-23 19:51:31 +02:00
Tom Sydney Kerckhove	cc910db093	maybe schema, with a fix for null	2021-10-23 19:16:46 +02:00
Tom Sydney Kerckhove	f4a30216b6	Instances for integers and words	2021-10-23 18:41:33 +02:00
Tom Sydney Kerckhove	eb92a49449	char and string instances	2021-10-23 18:33:57 +02:00
Tom Sydney Kerckhove	ab98d6600b	Remove choice for object codecs	2021-10-23 17:28:29 +02:00
Tom Sydney Kerckhove	cb399e3c34	rename ApObjectSchema to BothObjectSchema	2021-10-23 17:24:32 +02:00
Tom Sydney Kerckhove	32cedf21be	trying a thing, but it failed	2021-10-23 17:23:09 +02:00
Tom Sydney Kerckhove	256598c692	A way to do choice	2021-10-22 22:24:57 +02:00
Tom Sydney Kerckhove	54d2de8a82	some json schemas	2021-10-21 18:19:52 +02:00
Tom Sydney Kerckhove	cda6e53727	can encode and decode an example	2021-10-21 15:36:38 +02:00
Tom Sydney Kerckhove	6a241d6cb7	can't figure out choice	2021-10-21 02:24:18 +02:00
Tom Sydney Kerckhove	4c3b4f2a58	something that compiles	2021-10-21 01:28:09 +02:00
Tom Sydney Kerckhove	89621d56da	something I don't understand yet	2021-10-20 23:59:47 +02:00
Tom Sydney Kerckhove	f17d3a424f	something that roundtrips	2021-10-20 18:23:55 +02:00
Tom Sydney Kerckhove	9b57c76cd8	trying a thing	2021-10-20 17:59:50 +02:00