j
k
j a
j l
On 11-05-02 11:25 PM, Richard O'Keefe wrote:
Fair enough, but what about data Nat = Zero | Succ !Nat
Fair enough, but what about
data Nat = Zero | Succ !Nat
It works. I say, Harper forgot it.
Back to the thread
Back to the list
