Saizan/syb-with-class
Fork of http://patch-tag.com/r/Saizan/syb-with-class
Developer Profile
Saizan
Discovered public repositories for Saizan in the GitHub catalog.
Saizan/cubical
Implementation of Univalence in Cubical Sets
Saizan/Pivotal
Public repository.
Saizan/ITT9200
ITT9200 - A reading group on "Syntax and Semantics of Dependent Types" by Martin Hofmann
Saizan/bound
Combinators for manipulating locally-nameless generalized de Bruijn terms
Saizan/tinymisc
miscellaneous stuff related to TinyAgda
Saizan/categories
Categories parametrized by morphism equality, in Agda
Saizan/PP
Progetto di Paradigmi di Programmazione
Saizan/miller
Miller/pattern unification in Agda
Saizan/hereditary
Hereditary Substitution