/Agda-Montague

Attempt to formalize the Montague languages as described in Dowty, Wall, Peters in Agda

Primary LanguageAgdaArtistic License 2.0Artistic-2.0

Agda-Montague

Copyright (c) 2020 Herbert Lange