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 11:06 AM | Comments (0)