@neauoire@wryl Very intrigued by the possibilites... It should be possible to turn this into an efficient compiler by "simply" writing some rules to emit, say, C code, right?
@jacereda@neauoire Correct. In the past, I've used Modal to generate boilerplate and bytecode. As a general rewriting system, it's quite useful as a compiler.
@jacereda @neauoire Correct. In the past, I've used Modal to generate boilerplate and bytecode. As a general rewriting system, it's quite useful as a compiler.