search

owo-lang / OwO

Placeholder for the OwO compiler
Apache License 2.0
59 stars 1 forks source link

Serialization/Deserialization of source files #23

Open ice1000 opened 5 years ago

ice1000 commented 5 years ago

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

ice1000 commented 5 years ago

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

ice1000 commented 5 years ago

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