Agda compiler and FFI

July 4th, 2008 by Nils Anders Danielsson

Today I discussed Agda’s compiler and FFI.

Leave a Reply