view paper/src/AgdaBasics.agda.replaced @ 3:959f4b34d6f4

add final thesis
author soto
date Tue, 09 Feb 2021 18:44:53 +0900 (2021-02-09)
parents
children
line wrap: on
line source
module AgdaBasics where