Today I discussed Agda’s compiler and FFI.
This entry was posted
on Friday, July 4th, 2008 at 2:19 pm and is filed under Lunches.
You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.
Mail (will not be published) (required)
FP Lunch is proudly powered by
The FP@CS.Nott Homepage
Organisers: T Altenkirch and
Web Admin: J Grattage and
and Comments (RSS).