-
-
Int is abstract. Succ (Succ Zero) is concrete. Also, types vs terms are analogous to the meta level vs the object level.
-
I disagree, unless you mean type in a program vs int in a preprocessing metaprogram that generates or analyzes that program.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!