UniAgda.Core.PathSpaces.Sigma

Table of Contents

1 Prelude

2 Paths in Sigma types

3 Paths in product types

Author: James Leslie

Created: 2021-03-27 Sat 10:47