... | ... | @@ -616,4 +616,8 @@ If a function is missing a type signature, it is actually easy to infer relevanc |
|
|
|
|
|
False: **Dependent Haskell will require functions to terminate.**
|
|
|
|
|
|
This has not come up much recently, but it's a misconception I've heard. I won't refute it longhand here. But it's not true. No one is proposing a termination checker. Dependent types without a termination checker is not suitable for use as a proof assistant, but it makes for a wonderfully type-safe language. |
|
|
\ No newline at end of file |
|
|
This has not come up much recently, but it's a misconception I've heard. I won't refute it longhand here. But it's not true. No one is proposing a termination checker. Dependent types without a termination checker is not suitable for use as a proof assistant, but it makes for a wonderfully type-safe language.
|
|
|
|
|
|
# Current Status
|
|
|
|
|
|
Development is tracked at [DH: Current Status](DH:-Current-Status) |
|
|
\ No newline at end of file |