[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: [mizar] [gmane.comp.science.types.announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)
- To: mizar-forum@mizar.uwb.edu.pl
- Subject: Re: [mizar] [gmane.comp.science.types.announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)
- From: Freek Wiedijk <freek@cs.ru.nl>
- Date: Mon, 14 Jul 2008 11:49:29 +0200
Bob:
>But I do not assert that any of them are wrong.
As Pauli said it: maybe they're not even wrong :-)
Freek