A dump of the FOL code from compiling the celestial.dvl example.
A dump of the FOL code from compiling the celestial.dvl example.

Yes, I know I shouldn't check in autogenerated stuff, but recompiling
takes an annoyingly long time, and doesn't work on 32-bit machines.
It seems this dump should be useful for fiddling with FOL backends and
such.

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language