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 | 21 | 2.0 | Abstact cast pattern | (bsd3, library, pattern) | 2017-07-31 | ozzzzz |
| first-class-patterns | 101 | 0.0 | First class patterns and pattern matching, using type families | (bsd3, data, library, pattern) | 2018-06-10 | BrentYorgey, ReinerPope, shersh |