9 Commits

Author	SHA1	Message	Date
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