Parser generator performance

[tweag]

Parser generator performance

[teofr]

I'll leave this for now, but just documenting how the Makam <-> JS interop seems to work (as far as I could tell).

There's a builtin js.eval : string -> string -> prop that evaluates the first string (JS code) and returns the result as a string. Then, you would use refl.fromstring : [A] string -> A -> prop that relates a string (a Makam expression) with its actual expression.

[yannham]

Closing old stale issues about Makam.