Roger writes: "Definitely worth a spin if you feel like taking on a new foundation of mathematics that's less than a year old."
Or even if you are a programmer that wants to write better programs... Several of those authors are involved in the development of new dependently-typed languages like Agda. Marcus -------------------------------------------------------------------- mail2web.com What can On Demand Business Solutions do for you? http://link.mail2web.com/Business/SharePoint ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
