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