| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
DeBruijn.Scope
Description
The point of these tests is that *both* binders with wrong indices and variables with wrong indices (e.g. out of scope) will fail the scope-check pass.
| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
DeBruijn.Scope
Description
The point of these tests is that *both* binders with wrong indices and variables with wrong indices (e.g. out of scope) will fail the scope-check pass.