Conor McBride | 8 Dec 12:33 2004
Picon

AFP notes

Hi all

I'm working on the revised version of my AFP notes, and I'm wondering
what I should fix (apart from the system, so that all the examples
work). I also need to cut quite a bit, but there's plenty of chat
which could take fewer words.

Comments, please, if you have them.

Thanks

Conor

--

-- 
http://www.cs.nott.ac.uk/~ctm                  (I've moved again...)

Conor McBride | 9 Dec 19:03 2004
Picon

Re: AFP notes

I wrote:
> Hi all
> 
> I'm working on the revised version of my AFP notes

> Comments, please, if you have them.

Latest version at url below. Most changes consist of censorship.

Cheers

Conor

--

-- 
http://www.cs.nott.ac.uk/~ctm


Gmane