Closed rockt closed 10 years ago
I want to have aliases to be able to write things like λx.x+1, Σ, ⇒, ×
Done for λ and Σ via aa4cbb28c46f0c3211548b55d548304ef661ba50
val n = 'n of ints val lam = λ(n)(Σ(for (i <- 0 ~~ n) yield i) + n) lam.value()(5)
I want to have aliases to be able to write things like λx.x+1, Σ, ⇒, ×