yacctt

yacctt copied to clipboard

Is there a general way to derive these computation rules?

6

I saw https://github.com/mortberg/yacctt/blob/72cf5472764f89c1c978c72fb75f9b938dc17465/Eval.hs#L428-L433 Is it that you are too lazy to implement the general case, or is it an open problem?

ice1000