Copyright (c) 2020 Herbert Lange
daherb/Agda-Montague
Attempt to formalize the Montague languages as described in Dowty, Wall, Peters in Agda
AgdaArtistic-2.0
Attempt to formalize the Montague languages as described in Dowty, Wall, Peters in Agda
AgdaArtistic-2.0