13 Commits

Author	SHA1	Message	Date
mrkkrp	47ffeb123d	Add ‘CONTRIBUTING.md’ file to the repository	2019-05-31 16:09:35 +02:00
mrkkrp	e2a20217dd	Update the readme	2019-05-31 14:43:15 +02:00
Facundo Domínguez	cce75c7840	Add stack invocation to the README.	2019-05-30 14:39:17 +02:00
Facundo Domínguez	777e0e3135	Mention how to build and how to configure in the README. #56 #55	2019-05-30 14:39:17 +02:00
mrkkrp	5f746eec91	Fix the link to license file and years there ... [skip ci]	2019-05-23 19:57:32 +02:00
Mathieu Boespflug	c94805e997	Change the order of bullet points.	2019-05-23 15:58:07 +02:00
mrkkrp	ae3ea9b5b6	Mention minimal diffs in the readme ... [skip ci]	2019-05-17 12:18:01 +02:00
mrkkrp	4e087ff0c3	Fix a typo ... [skip ci]	2019-05-16 18:45:45 +02:00
Mark Karpov	50fd9c7759	Various fixes, thanks to Facundo ... [skip ci]	2019-05-10 19:00:43 +02:00
mrkkrp	0b7d784cd6	Update the readme file ... [skip ci]	2019-05-10 19:00:43 +02:00
mrkkrp	576f943e7f	Implement rendering of types and type families declarations	2019-04-07 19:33:28 +02:00
mrkkrp	c9e8fed11c	Add build status badge	2018-11-25 21:10:52 +07:00
mrkkrp	dc6605107a	Initial commit	2018-11-25 20:51:22 +07:00