Packages tagged pattern
3 packages have this tag.
[Merge tag] (trustees only)Related tags: library (3), bsd3 (2), data (2), mit (1), program (1)
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
|---|---|---|---|---|---|---|
| cast | 60 | 2.0 | Abstact cast pattern | (bsd3, library, pattern) | 2017-07-31 | ozzzzz |
| first-class-patterns | 293 | 2.0 | First class patterns and pattern matching, using type families | (bsd3, data, library, pattern) | 2019-10-01 | BrentYorgey, ReinerPope, shersh, vrom911 |
| mini-egison | 227 | 0.0 | Template Haskell Implementation of Egison Pattern Matching | (data, library, mit, pattern, program) | 2019-10-11 | SatoshiEgi |