Timeline for How to implement separate compilation?
Current License: CC BY-SA 4.0
7 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 18 at 20:17 | comment | added | Mike Shulman | Cool, I didn't know about langdev.stackexchange.com, thanks! | |
Jun 17 at 20:39 | comment | added | cody | This sort of feels like a question for langdev.stackexchange.com (though I'd specifically ask about "implementing symbol resolution in separate compilation") | |
Jun 15 at 15:21 | comment | added | Mike Shulman | Just storing type-checked internal versions of terms. | |
Jun 15 at 14:41 | history | became hot network question | |||
Jun 15 at 8:38 | answer | added | Andrej Bauer | timeline score: 2 | |
Jun 15 at 8:12 | comment | added | Andrej Bauer | Are you compiling to a low-level language, so that you cannot reconstruct the original terms from the compiled code, or are you just trying to store type-checked internal version of terms for fast loading later on? | |
Jun 15 at 6:03 | history | asked | Mike Shulman | CC BY-SA 4.0 |