> 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.
Assuming you only want the core language, the semantics is an interpreter -- available in Appendix A.
UPDATE: found it thank you.