|
About the Change Proposals category
|
|
0
|
1137
|
April 26, 2018
|
|
Another approach to Pattern Synonyms in Purescript
|
|
2
|
932
|
July 9, 2025
|
|
Untagged union types
|
|
35
|
6078
|
March 4, 2025
|
|
[PROPOSAL] !-notation from idris2
|
|
4
|
749
|
December 3, 2024
|
|
Allow Partial constraint in instance declarations
|
|
2
|
1020
|
March 11, 2024
|
|
Removing dot trailing whitespace from record access syntax
|
|
0
|
833
|
March 16, 2024
|
|
`typeof` syntactic sugar
|
|
12
|
1936
|
February 20, 2024
|
|
Unbiasing the Semigroup instance for Map
|
|
32
|
5909
|
December 7, 2023
|
|
Reference counting to mutate values in place without losing referential transparency
|
|
3
|
1291
|
December 4, 2023
|
|
RFC: A new cold-event-only version of hyrule
|
|
4
|
1126
|
September 12, 2023
|
|
Semigroup with zero element (Zero) and `Zero z => Applicative (Tuple z)` instance
|
|
5
|
960
|
August 7, 2023
|
|
RFC: Update Node libraries to v18
|
|
5
|
1537
|
August 1, 2023
|
|
RFC: `EventEmitter` bindings and `HTTP2` bindings
|
|
10
|
1107
|
June 26, 2023
|
|
Record projection syntax
|
|
7
|
1212
|
June 23, 2023
|
|
Compiler proposal: add implicit parameters
|
|
1
|
1226
|
June 1, 2023
|
|
DocRef type for easy navigation in code base
|
|
0
|
872
|
May 30, 2023
|
|
Let's decide the semantics of `Int` operations
|
|
0
|
840
|
May 17, 2023
|
|
My thought and experiment on more flexible FFI syntax
|
|
4
|
1680
|
March 3, 2023
|
|
GitHub Issue Forms
|
|
1
|
983
|
February 18, 2023
|
|
Versioning Pursuit
|
|
6
|
1240
|
November 14, 2022
|
|
Get rid of "A custom type error occurred while solving type class constraints"
|
|
1
|
809
|
November 14, 2022
|
|
Indexed Access Types
|
|
15
|
1492
|
August 21, 2022
|
|
Stack-safe default foldr?
|
|
4
|
1365
|
April 12, 2022
|
|
Proposal: make Ref.new pure in Effect and ST
|
|
8
|
1133
|
April 4, 2022
|
|
Optimising compilation time using module, function level caching of type information. Inspired by rescript compiler
|
|
9
|
1440
|
March 1, 2022
|
|
Emitting type and name information for use with IDE-like features
|
|
0
|
863
|
February 23, 2022
|
|
[RFC] Type-level Integers
|
|
4
|
1228
|
February 14, 2022
|
|
RFC: Only support ES modules in PureScript 0.15
|
|
8
|
2163
|
February 1, 2022
|
|
Why core purescript packages still use bower instead of spago?
|
|
3
|
1442
|
January 31, 2022
|
|
Compiler plugins
|
|
1
|
1293
|
January 31, 2022
|