|
About the Change Proposals category
|
|
0
|
1127
|
April 26, 2018
|
|
Another approach to Pattern Synonyms in Purescript
|
|
2
|
920
|
July 9, 2025
|
|
Untagged union types
|
|
35
|
6006
|
March 4, 2025
|
|
[PROPOSAL] !-notation from idris2
|
|
4
|
740
|
December 3, 2024
|
|
Allow Partial constraint in instance declarations
|
|
2
|
1004
|
March 11, 2024
|
|
Removing dot trailing whitespace from record access syntax
|
|
0
|
825
|
March 16, 2024
|
|
`typeof` syntactic sugar
|
|
12
|
1904
|
February 20, 2024
|
|
Unbiasing the Semigroup instance for Map
|
|
32
|
5775
|
December 7, 2023
|
|
Reference counting to mutate values in place without losing referential transparency
|
|
3
|
1281
|
December 4, 2023
|
|
RFC: A new cold-event-only version of hyrule
|
|
4
|
1098
|
September 12, 2023
|
|
Semigroup with zero element (Zero) and `Zero z => Applicative (Tuple z)` instance
|
|
5
|
946
|
August 7, 2023
|
|
RFC: Update Node libraries to v18
|
|
5
|
1512
|
August 1, 2023
|
|
RFC: `EventEmitter` bindings and `HTTP2` bindings
|
|
10
|
1086
|
June 26, 2023
|
|
Record projection syntax
|
|
7
|
1195
|
June 23, 2023
|
|
Compiler proposal: add implicit parameters
|
|
1
|
1218
|
June 1, 2023
|
|
DocRef type for easy navigation in code base
|
|
0
|
857
|
May 30, 2023
|
|
Let's decide the semantics of `Int` operations
|
|
0
|
830
|
May 17, 2023
|
|
My thought and experiment on more flexible FFI syntax
|
|
4
|
1658
|
March 3, 2023
|
|
GitHub Issue Forms
|
|
1
|
969
|
February 18, 2023
|
|
Versioning Pursuit
|
|
6
|
1215
|
November 14, 2022
|
|
Get rid of "A custom type error occurred while solving type class constraints"
|
|
1
|
802
|
November 14, 2022
|
|
Indexed Access Types
|
|
15
|
1435
|
August 21, 2022
|
|
Stack-safe default foldr?
|
|
4
|
1343
|
April 12, 2022
|
|
Proposal: make Ref.new pure in Effect and ST
|
|
8
|
1120
|
April 4, 2022
|
|
Optimising compilation time using module, function level caching of type information. Inspired by rescript compiler
|
|
9
|
1424
|
March 1, 2022
|
|
Emitting type and name information for use with IDE-like features
|
|
0
|
857
|
February 23, 2022
|
|
[RFC] Type-level Integers
|
|
4
|
1204
|
February 14, 2022
|
|
RFC: Only support ES modules in PureScript 0.15
|
|
8
|
2137
|
February 1, 2022
|
|
Why core purescript packages still use bower instead of spago?
|
|
3
|
1431
|
January 31, 2022
|
|
Compiler plugins
|
|
1
|
1276
|
January 31, 2022
|