| ▲ | kachnuv_ocasek 19 hours ago | |
Haskell does not have dependent types. | ||
| ▲ | tsimionescu 18 hours ago | parent [-] | |
Depends what you mean by "Haskell". There is at least one dependent types extension for base Haskell. | ||
| ▲ | kachnuv_ocasek 19 hours ago | |
Haskell does not have dependent types. | ||
| ▲ | tsimionescu 18 hours ago | parent [-] | |
Depends what you mean by "Haskell". There is at least one dependent types extension for base Haskell. | ||