Packages tagged type-errors
1 package has this tag.
[Merge tag] (trustees only)Related tags: library (1), mpl (1), types (1)
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|
type-errors-pretty | 117 | 2.0 | Combinators for writing pretty type errors easily | (library, mpl, type-errors, types) | 2021-08-02 | shersh, vrom911 |