Add formalization of substructural logics in src#2825

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

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