|
About the Change Proposals category
|
|
0
|
1143
|
April 26, 2018
|
|
Another approach to Pattern Synonyms in Purescript
|
|
2
|
944
|
July 9, 2025
|
|
Untagged union types
|
|
35
|
6112
|
March 4, 2025
|
|
[PROPOSAL] !-notation from idris2
|
|
4
|
758
|
December 3, 2024
|
|
Allow Partial constraint in instance declarations
|
|
2
|
1027
|
March 11, 2024
|
|
Removing dot trailing whitespace from record access syntax
|
|
0
|
842
|
March 16, 2024
|
|
`typeof` syntactic sugar
|
|
12
|
1957
|
February 20, 2024
|
|
Unbiasing the Semigroup instance for Map
|
|
32
|
5966
|
December 7, 2023
|
|
Reference counting to mutate values in place without losing referential transparency
|
|
3
|
1302
|
December 4, 2023
|
|
RFC: A new cold-event-only version of hyrule
|
|
4
|
1135
|
September 12, 2023
|
|
Semigroup with zero element (Zero) and `Zero z => Applicative (Tuple z)` instance
|
|
5
|
966
|
August 7, 2023
|
|
RFC: Update Node libraries to v18
|
|
5
|
1545
|
August 1, 2023
|
|
RFC: `EventEmitter` bindings and `HTTP2` bindings
|
|
10
|
1116
|
June 26, 2023
|
|
Record projection syntax
|
|
7
|
1222
|
June 23, 2023
|
|
Compiler proposal: add implicit parameters
|
|
1
|
1233
|
June 1, 2023
|
|
DocRef type for easy navigation in code base
|
|
0
|
879
|
May 30, 2023
|
|
Let's decide the semantics of `Int` operations
|
|
0
|
849
|
May 17, 2023
|
|
My thought and experiment on more flexible FFI syntax
|
|
4
|
1700
|
March 3, 2023
|
|
GitHub Issue Forms
|
|
1
|
994
|
February 18, 2023
|
|
Versioning Pursuit
|
|
6
|
1256
|
November 14, 2022
|
|
Get rid of "A custom type error occurred while solving type class constraints"
|
|
1
|
817
|
November 14, 2022
|
|
Indexed Access Types
|
|
15
|
1519
|
August 21, 2022
|
|
Stack-safe default foldr?
|
|
4
|
1380
|
April 12, 2022
|
|
Proposal: make Ref.new pure in Effect and ST
|
|
8
|
1147
|
April 4, 2022
|
|
Optimising compilation time using module, function level caching of type information. Inspired by rescript compiler
|
|
9
|
1457
|
March 1, 2022
|
|
Emitting type and name information for use with IDE-like features
|
|
0
|
868
|
February 23, 2022
|
|
[RFC] Type-level Integers
|
|
4
|
1236
|
February 14, 2022
|
|
RFC: Only support ES modules in PureScript 0.15
|
|
8
|
2172
|
February 1, 2022
|
|
Why core purescript packages still use bower instead of spago?
|
|
3
|
1453
|
January 31, 2022
|
|
Compiler plugins
|
|
1
|
1299
|
January 31, 2022
|