update gitignore
fiddling with the Haskell

that's pretty much a dead end, though. Agda ftw