search

agda / cubical

An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
450 stars 138 forks source link

Lift experiment #1122

Closed mzeuner closed 5 months ago

mzeuner commented 5 months ago

Is it worth a PR?

felixwellen commented 5 months ago

Why not? Small PRs are good PRs ;-)

mortberg commented 5 months ago

Why not? Small PRs are good PRs ;-)

I totally agree :-)

mzeuner commented 5 months ago

The PR was by mistake though, I wanted to make a PR on my fork... I just wanted to check these things for myself real quick.