Perry E. Metzger scripsit:

> A +1 for switching to an operational semantics. It would be
> especially cool to develop an executable semantics...

If we are to take the semantics seriously, I think it means
developing one whose soundness can be established with a proof assistant.

--
John Cowan  cowan@ccil.org   http://www.ccil.org/~cowan
Dievas dave dantis; Dievas duos duonos          --Lithuanian proverb
Deus dedit dentes; deus dabit panem             --Latin version thereof
Deity donated dentition;
  deity'll donate doughnuts                     --English version by Muke Tever
God gave gums; God'll give granary              --Version by Mat McVeagh

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports