restructure as agda-lib and nixify#8

o1lo01ol1o wants to merge 1 commit intoToposInstitute:mainToposInstitute/poly:mainfrom

o1lo01ol1o:nixify-agda-libo1lo01ol1o/poly:nixify-agda-libCopy head branch name to clipboard