Markus Pfeiffer

Just in case anyone cares: For me this behavior was caused by `flisp.boot` being truncated to `0` length at some point during build. Just `git checkout flisp.boot` made the error...

I agree that the ordering of records should not depend on the order in which record names were introduced.

[Markus Pfeiffer](https://github.com/markuspf/) Discrete Mathematics - GAP - C - Haskell - Python - Idris

This issue does not really have the focus that is needed to make it useful. Either we put a checklist in here, or we make separate tickets.

Anyway, for GAP this exists and will be proposed as a PR to the CodeMirror people soon: https://github.com/webgap/CodeMirror

CodeMirror does not accepts PR-d highlighting anymore, and instead suggests using npm deployment of the language plugins. For GAP this should be imminent. Also apparently Manuel moved his work to...

I think it'd be better if I run the GAP server on field for the development phase, because that provides faster turnaround times (for me) for debugging. It's probably not...

Actually I don't think security is something we should awfully worry about in this context. Defining "permitted" things is just a can of worms that'll create work.

What we want is passing in OpenMath, and get a `Print`ed version of the created object out, or evenjust pass a bit of GAP code in, and get the `Print`ed...

And possibly putting code in and getting the result as OpenMath object. This of course is all subject to the export being complete.