Wolfram Kahl wrote:
> In the end, my dreams even include a proof format
> that can be checked by the compiler :-)
Dependent types! That's all you need.
--
-- Lennart
- Re: {-# rules Wolfram Kahl
- Re: {-# rules peter
- RE: {-# rules Mark P Jones
- RE: {-# rules Sigbjorn Finne (Intl Vendor)
- Re: {-# rules Hans Aberg
- Re: {-# rules peter
- Re: {-# rules Hans Aberg
- Re: {-# rules Lennart Augustsson
- Re: {-# rules trb
