Giters

xafizoff / agda

Groupoid Infinity cubical base library for Agda

Home Page:https://groupoid.space/mltt/types/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Build Status

Groupoid Infinity

The Groupoid Infinity cubical base library for Agda 2.6.0 (--cubical).

Credits

  • Maxim Sokhatsky
  • Andrea Vezzosi
  • Anders Mörtberg

About

Groupoid Infinity cubical base library for Agda

https://groupoid.space/mltt/types/

Languages

Language:Agda 100.0%