You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Add Makefile support for .lagda.md and make Gluing/Conservativity.agda (#101) literate#106
Draft
hejohns wants to merge 6 commits intomainmaxsnew/cubical-categorical-logic:mainfrom literate-agdamaxsnew/cubical-categorical-logic:literate-agdaCopy head branch name to clipboard
