Code for Data.Fin.Properties needs to migrate to Cubical.Nat.Properties/Order - Githubissues

agda / cubical

An experimental library for Cubical Agda

https://agda.github.io/cubical/Cubical.README.html

Other

454 stars 139 forks source link

Code for Data.Fin.Properties needs to migrate to Cubical.Nat.Properties/Order #978

Open xekoukou opened 1 year ago