gdiff

gdiff copied to clipboard

The thesis link is unavailable (404)

5

subj: http://eelco.lempsink.nl/thesis.pdf is not available for reading

coderfromhere

Would like to see a simple example - e.g. an implementation of unix diff(1)

2

Does anyone have a pointer to such an example?

ddssff

The family of example data types seems incomplete, because if you ever want to use Expr, you must provide an Expr, which means Expr is infinitely recursive. It is not...

ryantm

Patching an isomorphic structure

21

I have a remote data structure that is isomorphic to the local structure I'm diff'ing and I'd like to use the edit script to patch the remote structure (in an...

schell

Existentials

1

This pull request establishes a third way of describing node constructors for `gdiff`. The new `Meta` constructor subsumes the functionality of `Abstr` but is a bit less efficient. The usage...

ggreif

Subtrees with existentially quantified types

3

Neither the `Concr` nor the `Abstr` ways of describing the subtrees of a value allow existentially typed subtrees. I have come up with a new way, but I would like...

ggreif