GitHub repository: movinglinguini/Adjoint-Logic-in-Agda
Primary language: Agda
Description: Wherein I encode adjoint logic in Agda