initial import
created syntax for PCF
empty bigstep semantics
variant with Type < Exp
defined values
added semantics for values
zero and succesor
zero and succesor
did pred
did pred
did pred
conditionals
abstractions bind tighter than application
added another test to see how conditional branch evaluates
application bigstep
partially working mu
partially working mu
made bigstep semantics as consistent as possible with the theoretical rules. Also moved resources about
whatever
did bigstep