« Haskell's overlooked object system | Main | Computable Analysis »
June 28, 2005
Cayenne and Agda
I did not know that Agda was regarded as the proper successor to Cayenne! Now I really have to get serious about getting into Agda.
But it appears that this may not be the case - see further discussion on LtU.
Posted by Carette at June 28, 2005 11:06 AM