Syntax highlighting goodness
I spent a little bit of time hacking on an InforML »mode« for SubEthaEdit. Partly because I started using it for a remote meeting with Stephanie last week. And the other nice thing is that SubEthaEdit has an option to »Copy as XHTML«, which means that instead of hacking on PHP to get WordPress to nicely display my programs, I can just load them up in SubEthaEdit and just copy and paste. Below is a small sample from the module for booleans (at least as it currently stands). SubEthaEdit's highlighting support is kind of poor however.
val not :
⟨l:Lab⟩ Bool @ l -(⊤|⊥)-> Bool @ l
fun not b =
case b
of True => False
| False => True
end
val toString :
⟨l:Lab⟩ Bool @ l -(⊤|⊥)-> String @ l
fun toString b =
case b
of True => "True"
| False => "False"
end
end