VariantSync/Vatras

Agda Library to Study the Expressive Power of Languages for Static Variability

AgdaStars 13Forks 0Watchers 13Open issues 9License GNU Lesser General Public License v3.0

Details

仓库信息

OwnerVariantSync

Homepage—

Last pushed2025-12-13

Last updated2025-12-14

Issues fetched at—

Community at a glance