progs/app60.scala
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 26 Sep 2017 14:07:29 +0100
changeset 503 f2d7b885b3e3
parent 435 e08431a78f66
permissions -rw-r--r--
updated

def ders(s: List[Char], r: Rexp) : Rexp = s match {
  case Nil => r
  case c::s => ders(s, simp(der(c, r)))          
}