Giters
eelco
/
gdiff
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
34
Watchers:
6
Issues:
7
Forks:
6
eelco/gdiff Issues
The thesis link is unavailable (404)
Closed
2 years ago
Comments count
6
Would like to see a simple example - e.g. an implementation of unix diff(1)
Updated
5 years ago
Comments count
2
Example family of datatypes seems incomplete
Updated
8 years ago
Patching an isomorphic structure
Updated
8 years ago
Comments count
21
Subtrees with existentially quantified types
Updated
9 years ago
Comments count
3
Eq constraint on Abstr essential?
Closed
9 years ago
Comments count
3
a version of `patch` that allows viewing of the original data?
Closed
10 years ago
Comments count
1