On Thu, 2006-08-31 at 10:43 +0100, Martin Percossi wrote: > - a good type system:
FYI right at the moment I'm trying to add Barry Jay's pattern calculus to the type system. Not sure if it will work, but if it does the existing 'lambda' terms will be removed (since pattern calculus subsumes lambda calculus). -- John Skaller <skaller at users dot sf dot net> Felix, successor to C++: http://felix.sf.net ------------------------------------------------------------------------- Using Tomcat but need to do more? Need to support web services, security? Get stuff done quickly with pre-integrated technology to make your job easier Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 _______________________________________________ Felix-language mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/felix-language
