KN

knrafto/cubical

An experimental library for Cubical Agda

No README found.

Languages

Agda99.5%Haskell0.4%Makefile0.1%

Contributors

MO SA M-EC IC JO DO RO 3A L-

MIT License

Created September 9, 2020

Updated September 9, 2020