Larry Lee scripsit: > I'm looking to develop an open-source implementation for R7RS that is > formally verified. The implementation will be formally verified using > Coq (http://coq.inria.fr/) and will focus initially on the small version > of the language. If you are interested in assisting with the project, > please let me know.
I can't help with this directly, but I think it has all kinds of win. What do you intend to use as the implementation language, or is that still open? -- John Cowan http://www.ccil.org/~cowan [email protected] All "isms" should be "wasms". --Abbie _______________________________________________ Scheme-reports mailing list [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
