monte icon indicating copy to clipboard operation
monte copied to clipboard
verified publisher icon monte-language

redex AAM semantics for monte

Open dckc opened this issue 9 years ago • 2 comments

following...

An Introduction to Redex with Abstracting Abstract Machines (v0.5)

David Van Horn [email protected] Last updated: Thursday, March 17th, 2016

dckc avatar Mar 28 '16 03:03 dckc

tangible progress: fact(5) for monte in redex

dckc avatar Mar 28 '16 03:03 dckc

more progress: reduction relation that works for 1st doctest, based on (define-language) and (decode-mast) that pass all doctests.

https://github.com/dckc/mtpony/commit/36b2ffc50197ae294e6874a884ac4b4d4c2f9290

monte-if-less-than-redex

dckc avatar May 29 '17 00:05 dckc