Experimentielle Erweiterung von SpracheHaskell um ein System mit "abhängigen Typen", gewissermaßen ein Typsystem "noch höherer Ordnung" (Cayenne -- HOTter than Haskell!). -- UdoStenzel |
Experimentieller Ableger von SpracheHaskell um ein System mit "abhängigen Typen" (dependent types), gewissermaßen ein Typsystem "noch höherer Ordnung" (Cayenne -- HOTter than Haskell!). Wahlspruch: Dependent Types, Dependable Code |
Experimentieller Ableger von SpracheHaskell um ein System mit "abhängigen Typen" (dependent types), gewissermaßen ein Typsystem "noch höherer Ordnung" (Cayenne -- HOTter than Haskell!).
Wahlspruch: Dependent Types, Dependable Code