Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
|Failed to load latest commit information.|
Get an efficient, optimal, type-safe diff and patch function for your datatypes of choice by defining a simple GADT and some class instances. Extracted from Eelco Lempsink's Thesis (http://eelco.lempsink.nl/thesis.pdf).