July 4th, 2008 by Nils Anders Danielsson
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.