Dependent types Mechanization backend#215

Draft

DCupello1 wants to merge 3 commits into

mainfrom

exp-dep-backend

Commits on Feb 23, 2026

Added new subdep pass that preserves type families semantics.
DCupello1
committed
Fix on sub in order to take into account of dependent types on projection functions.
DCupello1
committed
Fixed improvedids pass so that reduction of types works with an updated environment.
DCupello1
committed