equal
deleted
inserted
replaced
110 implicit def sring_inters(sc: StringContext) = new { |
110 implicit def sring_inters(sc: StringContext) = new { |
111 def i(args: Any*): String = " " ++ sc.s(args:_*) ++ "\n" |
111 def i(args: Any*): String = " " ++ sc.s(args:_*) ++ "\n" |
112 def l(args: Any*): String = sc.s(args:_*) ++ ":\n" |
112 def l(args: Any*): String = sc.s(args:_*) ++ ":\n" |
113 } |
113 } |
114 |
114 |
115 // this allows you to write things like |
115 // this allows us to write things like |
116 // i"add" and l"Label" |
116 // i"add" and l"Label" |
117 |
117 |
118 |
118 |
119 // environments |
119 // environments |
120 type Env = Map[String, Int] |
120 type Env = Map[String, Int] |