Packages tagged pattern
2 packages have this tag.
[Merge tag] (trustees only)Related tags: bsd3 (2), library (2), data (1)
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|
cast | 61 | 2.0 | Abstact cast pattern | (bsd3, library, pattern) | 2017-07-31 | ozzzzz |
first-class-patterns | 27 | 2.0 | First class patterns and pattern matching, using type families | (bsd3, data, library, pattern) | 2018-06-10 | BrentYorgey, ReinerPope, shersh, vrom911 |