Packages tagged pattern
4 packages have this tag.
[Merge tag] (trustees only)Related tags: library (4), bsd3 (3), data (2), control (1), mit (1), program (1)
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
|---|---|---|---|---|---|---|
| cast | 14 | 2.0 | Abstact cast pattern | (bsd3, library, pattern) | 2017-07-31 | ozzzzz |
| first-class-patterns | 41 | 2.0 | First class patterns and pattern matching, using type families | (bsd3, data, library, pattern) | 2019-10-01 | BrentYorgey, ReinerPope, shersh, vrom911 |
| mini-egison | 3 | 0.0 | Template Haskell Implementation of Egison Pattern Matching | (data, library, mit, pattern, program) | 2020-03-04 | SatoshiEgi, momohatt |
| sweet-egison | 4 | 0.0 | Shallow embedding implementation of non-linear pattern matching | (bsd3, control, library, pattern) | 2020-10-20 | SatoshiEgi, coord_e, momohatt |