SimpleParse.dcl « While « paper - NWI-IBC035-Academisch-Schrijven - Files related to NWI-IBC035 Academisch Schrijven, summer 2016, Radboud University Nijmegen.

summary refs log tree commit diff

path: root/paper/While/SimpleParse.dcl

blob: 12f25e53b52e3098dbf5df46820ab180d5359d5b (plain) (blame)

definition module SimpleParse

import WhileCommon
import Simple

instance parse Stm