Add formalization of substructural logics in src#2825

mlebar-UC wants to merge 1 commit intoagda:masteragda/agda-stdlib:masterfrom

mlebar-UC:substructural_logicsmlebar-UC/agda-stdlib:substructural_logicsCopy head branch name to clipboard