On Wed, 2007-02-07 at 22:09 -0500, Jacques Carette wrote: > As far as proofs in Felix, take a close look at Concoqtion (Google it). > It integrates Coq into Ocaml in an interesting way. Should help with > ideas of how to integrate Proofs in Felix.
you realise you've given me reference to three distinct, interesting systems to follow up in the last 48 hours? My brain is exploding :) -- 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 Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
