/projects/agda/getting_started/Data/

Name Size (bytes) Date Description
../  Parent directory
Bool.agda4502015-Mar-29 
Fin.agda1542015-Mar-29 
List.agda5382015-Mar-29 
Matrix.agda1412015-Mar-29 
Nat.agda5032015-Mar-29 
Vec.agda6522015-Mar-29