|
[ANN] Release of Seqes version 0.1
|
|
0
|
614
|
December 12, 2022
|
|
A short GADT puzzle
|
|
12
|
1546
|
November 24, 2022
|
|
Non-exhaustive lambda-patterns
|
|
2
|
682
|
October 27, 2022
|
|
Prohibiting invalid states with GADT - the airlock exercise
|
|
25
|
1675
|
October 18, 2022
|
|
GADT + functor : a type variable cannot be deduced
|
|
2
|
725
|
October 17, 2022
|
|
"Parsing" terms into a well-typed representation: a GADT puzzle
|
|
4
|
2685
|
October 30, 2021
|
|
GADTs for tracking dimensions of multidimensional arrays?
|
|
11
|
1131
|
September 2, 2022
|
|
GADTs for typed option getter/setter
|
|
2
|
844
|
August 29, 2022
|
|
Mapping GADT AST node to list of it's children not allowed by compiler?
|
|
3
|
876
|
August 26, 2022
|
|
Open source projects using GADTs
|
|
12
|
2049
|
April 26, 2022
|
|
Puzzle: Reverse a heterogeneous list twice
|
|
2
|
1399
|
March 6, 2022
|
|
Naive and failed type-level theorem proving using GADT
|
|
1
|
797
|
February 28, 2022
|
|
Equal existential types are not printed equally by the top-level?
|
|
4
|
730
|
February 19, 2022
|
|
How to convert a list to a product?
|
|
4
|
1080
|
February 19, 2022
|
|
Locally Abstract Types in an Or-pattern with a GADT Scrutinee: Clash during Refinement?
|
|
5
|
1203
|
February 14, 2022
|
|
GADT and polymorphic recursion
|
|
1
|
1200
|
January 19, 2022
|
|
Structural equality for GADTs
|
|
22
|
2560
|
January 13, 2022
|
|
Exponential compile time with respect to constructors nesting level
|
|
3
|
818
|
November 18, 2021
|
|
Angstrom number parser with GADT
|
|
1
|
799
|
October 2, 2021
|
|
Puzzling through some GADT errors
|
|
23
|
2787
|
September 22, 2021
|
|
GADT pattern matching exhaustiveness
|
|
2
|
1014
|
February 1, 2021
|
|
GADTs - avoiding type constructor escaping scope problems
|
|
2
|
860
|
December 21, 2020
|
|
Problem with subtyping in polymorphic variant in gadt
|
|
1
|
1207
|
October 24, 2020
|
|
Match a list of gadt based on type
|
|
2
|
751
|
September 7, 2020
|
|
GADTs, phantom variables and type aliases
|
|
4
|
881
|
August 19, 2020
|
|
Filtering constructors by type variable (GADTs + polymorphic variants)
|
|
6
|
1191
|
August 7, 2020
|
|
Type of function returning GADT
|
|
2
|
950
|
May 20, 2020
|
|
Generating inhabitants of (G)ADT
|
|
1
|
1050
|
January 4, 2020
|
|
GADTs and modules
|
|
6
|
1247
|
July 30, 2019
|
|
Packing GADT constructors in iterable data structure
|
|
8
|
2761
|
July 29, 2019
|