afl-material: progs/app60.scala@74a6cd2d011f (annotated)

412 1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 399 diff changeset	1	def ders(s: List[Char], r: Rexp) : Rexp = s match {
117 25999de692b2 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	2	case Nil => r
435 e08431a78f66 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 422 diff changeset	3	case c::s => ders(s, simp(der(c, r)))
117 25999de692b2 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	4	}