defining domain models for typed lambda calculi in Agda
Primary LanguageAgda
This repository is not active