Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
My old Agda code for Homotopy Type Theory. See HoTT/HoTT-Agda for the new one.
Agda
branch: propositional-…

This branch is 47 commits behind master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
Equality
HigherInductive
Univalence
.gitignore
LICENCE
README.agda

README.agda

------------------------------------------------------------------------
-- Codes for Homotopy Type Theory 
--
-- Favonia
------------------------------------------------------------------------

{-# OPTIONS --without-K #-}

-- The whole codebase assumes the access to
-- http://www.cse.chalmers.se/~nad/repos/equality/

module README where
Something went wrong with that request. Please try again.