ShreckYe/agda-cubical

An experimental library for Cubical Agda (Shreck Ye's fork)

AgdaNOASSERTION