Nottingham FP Lab Blog

Agda compiler and FFI

by Nils Anders Danielsson on July 4, 2008.
Tagged as: Lunches.

Today I discussed Agda’s compiler and FFI.


comments powered by Disqus