7c7edb8Fix a typo in the readmemrkkrp7 years ago 05e4201Replace current year with the word "present"mrkkrp7 years ago 47ffeb1Add ‘CONTRIBUTING.md’ file to the repositorymrkkrp7 years ago e2a2021Update the readmemrkkrp7 years ago cce75c7Add stack invocation to the README.Facundo Domínguez7 years ago 777e0e3Mention how to build and how to configure in the README. #56 #55Facundo Domínguez7 years ago 5f746eeFix the link to license file and years theremrkkrp7 years ago c94805eChange the order of bullet points.Mathieu Boespflug7 years ago ae3ea9bMention minimal diffs in the readmemrkkrp7 years ago 4e087ffFix a typomrkkrp7 years ago 50fd9c7Various fixes, thanks to FacundoMark Karpov7 years ago 0b7d784Update the readme filemrkkrp7 years ago 576f943Implement rendering of types and type families declarationsmrkkrp8 years ago c9e8fedAdd build status badgemrkkrp8 years ago dc66051Initial commitmrkkrp8 years ago