/projects/agda/foreign-nat/Data/

Name	Size (bytes)	Date	Description
../			Parent directory
ForeignNat/		`2015-Mar-29`
ForeignNat.agda	`1424`	`2015-Mar-29`

Home
RetroClash
Blog
Papers
Talks
Open Source
GPG PubKey

This XHTML / CSS page is created by Gergő Érdi. Send your comments to gergo@erdi.hu.