On 24/02/2011, at 12:51 PM, Erick Tryzelaar wrote: > > By the way, what ever happened to the pattern calculus you implemented > years ago? Is that still around?
No, because we already had type lambdas and pattern matching. Add kind variants, and I believe we have an equivalent system. -- john skaller skal...@users.sourceforge.net ------------------------------------------------------------------------------ Free Software Download: Index, Search & Analyze Logs and other IT data in Real-Time with Splunk. Collect, index and harness all the fast moving IT data generated by your applications, servers and devices whether physical, virtual or in the cloud. Deliver compliance at lower cost and gain new business insights. http://p.sf.net/sfu/splunk-dev2dev _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
