headers
Conor McBride | 8 Dec 2004 12:33
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...)
Permalink | Reply | 1 comment |
headers
Conor McBride | 9 Dec 2004 19:03
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
Permalink | Reply | 0 comments |

Gmane