Xiaohu Wang's repositories
agda-stdlib
The Agda standard library
Language:AgdaNOASSERTION000
Language:C000
cubical
An experimental library for Cubical Agda
Language:AgdaNOASSERTION000
Language:LogtalkApache-2.0000
Language:MercuryLGPL-3.0000
The Agda standard library
An experimental library for Cubical Agda