Re: type theory in coq.
dvanhorn <[email protected]>
| Newsgroups | gmane.org.ballistichelmet.lambda |
|---|---|
| Message-ID | <[email protected]> |
> Does that mean you'll be giving yourself a dollar? Buying yourself coffee? > Patting yourself on the back? I mean, c'mon, if you'd have given me two more > months to get around to it, I would've figured it out. jeez. I didn't figure it out. It was given to me. -- David