19 Commits

Author	SHA1	Message	Date
mrkkrp	54749b889a	A couple of minor corrections to the readme ... [skip ci]	2019-08-04 21:20:30 +02:00
mrkkrp	78e8dd830a	Make sure we always get both original and formatted files	2019-07-14 13:14:55 +02:00
mrkkrp	7a9aab77b3	Add nix expression for reformatting sources of arbitrary packages ... See the description in readme.	2019-07-14 13:14:55 +02:00
waddlaw	28c35cc8df	Drop the mention of configuration file from readme	2019-07-08 22:30:10 +02:00
mrkkrp	7c7edb8a75	Fix a typo in the readme ... [skip ci]	2019-07-02 21:29:07 +02:00
mrkkrp	05e420159a	Replace current year with the word "present" ... [skip ci] Saves a lot of effort updating all those thingies every year.	2019-07-02 21:27:45 +02:00
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