|
About the Change Proposals category
|
|
0
|
757
|
April 26, 2018
|
|
[PROPOSAL] !-notation from idris2
|
|
2
|
83
|
November 17, 2024
|
|
Allow Partial constraint in instance declarations
|
|
2
|
504
|
March 11, 2024
|
|
Removing dot trailing whitespace from record access syntax
|
|
0
|
416
|
March 16, 2024
|
|
`typeof` syntactic sugar
|
|
12
|
802
|
February 20, 2024
|
|
Unbiasing the Semigroup instance for Map
|
|
32
|
3293
|
December 7, 2023
|
|
Reference counting to mutate values in place without losing referential transparency
|
|
3
|
675
|
December 4, 2023
|
|
RFC: A new cold-event-only version of hyrule
|
|
4
|
601
|
September 12, 2023
|
|
Semigroup with zero element (Zero) and `Zero z => Applicative (Tuple z)` instance
|
|
5
|
431
|
August 7, 2023
|
|
RFC: Update Node libraries to v18
|
|
5
|
674
|
August 1, 2023
|
|
RFC: `EventEmitter` bindings and `HTTP2` bindings
|
|
10
|
566
|
June 26, 2023
|
|
Record projection syntax
|
|
7
|
694
|
June 23, 2023
|
|
Compiler proposal: add implicit parameters
|
|
1
|
687
|
June 1, 2023
|
|
DocRef type for easy navigation in code base
|
|
0
|
418
|
May 30, 2023
|
|
Let's decide the semantics of `Int` operations
|
|
0
|
436
|
May 17, 2023
|
|
My thought and experiment on more flexible FFI syntax
|
|
4
|
792
|
March 3, 2023
|
|
GitHub Issue Forms
|
|
1
|
455
|
February 18, 2023
|
|
Versioning Pursuit
|
|
6
|
601
|
November 14, 2022
|
|
Get rid of "A custom type error occurred while solving type class constraints"
|
|
1
|
490
|
November 14, 2022
|
|
Indexed Access Types
|
|
15
|
748
|
August 21, 2022
|
|
Stack-safe default foldr?
|
|
4
|
787
|
April 12, 2022
|
|
Proposal: make Ref.new pure in Effect and ST
|
|
8
|
693
|
April 4, 2022
|
|
Optimising compilation time using module, function level caching of type information. Inspired by rescript compiler
|
|
9
|
965
|
March 1, 2022
|
|
Emitting type and name information for use with IDE-like features
|
|
0
|
561
|
February 23, 2022
|
|
[RFC] Type-level Integers
|
|
4
|
741
|
February 14, 2022
|
|
RFC: Only support ES modules in PureScript 0.15
|
|
8
|
1375
|
February 1, 2022
|
|
Why core purescript packages still use bower instead of spago?
|
|
3
|
959
|
January 31, 2022
|
|
Compiler plugins
|
|
1
|
825
|
January 31, 2022
|
|
RFC: Disallow build metadata and prerelease identifiers in the registry
|
|
1
|
629
|
January 24, 2022
|
|
RFC: The Future of the PureScript Bundler
|
|
13
|
2897
|
January 16, 2022
|