Serialization/Deserialization of source files

[ice1000]

To impl something like .agdai for Agda or .hi for Haskell, as a compilation cache.

[ice1000]

No, this should definitely be worked on, no way icebox

[ice1000]

Incremental typecheck files: http://hackage.haskell.org/package/directory-1.3.3.1/docs/System-Directory.html#v%3agetModificationTime