PhD Student @ RPI, Writer of Tidbits, and Linux Enthusiast
Here you'll find 1 post about Dependent Type.
Same as Q997433, data type whose definition depends on a value.
2025
Verifying Proofs with Type Checkers
