8 ms·
> I'm curious if there is an interpreter written in Gallina that implements the semantics? Assuming you only want the core language, the semantics is an interp
by jmgrosen 9y ago
> I'm curious if there is an interpreter written in Gallina that implements the semantics?
Assuming you only want the core language, the semantics is an interpreter -- available in Appendix A.
- johnbender 9y agoI want a Gallina implementation of an interpreter that I can extract to OCaml using Coq. UPDATE: found it thank you.