Agda Library to Study the Expressive Power of Languages for Static Variability
Primary LanguageAgdaGNU Lesser General Public License v3.0LGPL-3.0