-
jpm@cs.ox.ac.uk authored
They belonged to the old generic deriving mechanism, so they can go. Adapted a lot of code as a consequence.
fed25228
They belonged to the old generic deriving mechanism, so they can go. Adapted a lot of code as a consequence.