Skip to content

No labels!

There aren’t any labels for this repository quite yet.

206 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
language: fixity
language: fixity
1
language: float
language: float
5
language: forced pattern
language: forced pattern
2
language: forward-definition
language: forward-definition
language: generalisation
language: generalisation
5
language: idiom
language: idiom
2
language: if-then-else
language: if-then-else
1
language: implicit
language: implicit
4
language: import
language: import
2
language: impossible
language: impossible
4
language: interface
language: interface
11
language: lambda-case
language: lambda-case
2
language: let
language: let
9
language: literals
language: literals
4
language: literate
language: literate
2
language: mutual
language: mutual
8
language: named application
language: named application
2
language: namespace
language: namespace
5
language: packaging
language: packaging
8
language: pairs
language: pairs
language: parameter blocks
language: parameter blocks
2
language: pattern-synonyms
language: pattern-synonyms
1
language: primitives
language: primitives
2
language: projection
language: projection
language: quantity
language: quantity
25
language: record projection
language: record projection
1
language: record update
language: record update
3
language: record
language: record
7
language: reflection
language: reflection
4
language: rewrite
language: rewrite
5