On 2013-02-25 11:20, Peter Divianszky wrote: > The following Haskell source files were modified: Tracking changes to the files that you copied could be awkward. Do you think your job could have been easier if the Agda code base had been structured differently? -- /NAD