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