|
[ANN] Release of Seqes version 0.1
|
|
0
|
610
|
December 12, 2022
|
|
A short GADT puzzle
|
|
12
|
1524
|
November 24, 2022
|
|
Non-exhaustive lambda-patterns
|
|
2
|
676
|
October 27, 2022
|
|
Prohibiting invalid states with GADT - the airlock exercise
|
|
25
|
1655
|
October 18, 2022
|
|
GADT + functor : a type variable cannot be deduced
|
|
2
|
712
|
October 17, 2022
|
|
"Parsing" terms into a well-typed representation: a GADT puzzle
|
|
4
|
2671
|
October 30, 2021
|
|
GADTs for tracking dimensions of multidimensional arrays?
|
|
11
|
1109
|
September 2, 2022
|
|
GADTs for typed option getter/setter
|
|
2
|
836
|
August 29, 2022
|
|
Mapping GADT AST node to list of it's children not allowed by compiler?
|
|
3
|
871
|
August 26, 2022
|
|
Open source projects using GADTs
|
|
12
|
2035
|
April 26, 2022
|
|
Puzzle: Reverse a heterogeneous list twice
|
|
2
|
1387
|
March 6, 2022
|
|
Naive and failed type-level theorem proving using GADT
|
|
1
|
785
|
February 28, 2022
|
|
Equal existential types are not printed equally by the top-level?
|
|
4
|
728
|
February 19, 2022
|
|
How to convert a list to a product?
|
|
4
|
1073
|
February 19, 2022
|
|
Locally Abstract Types in an Or-pattern with a GADT Scrutinee: Clash during Refinement?
|
|
5
|
1193
|
February 14, 2022
|
|
GADT and polymorphic recursion
|
|
1
|
1191
|
January 19, 2022
|
|
Structural equality for GADTs
|
|
22
|
2536
|
January 13, 2022
|
|
Exponential compile time with respect to constructors nesting level
|
|
3
|
812
|
November 18, 2021
|
|
Angstrom number parser with GADT
|
|
1
|
797
|
October 2, 2021
|
|
Puzzling through some GADT errors
|
|
23
|
2774
|
September 22, 2021
|
|
GADT pattern matching exhaustiveness
|
|
2
|
1008
|
February 1, 2021
|
|
GADTs - avoiding type constructor escaping scope problems
|
|
2
|
857
|
December 21, 2020
|
|
Problem with subtyping in polymorphic variant in gadt
|
|
1
|
1201
|
October 24, 2020
|
|
Match a list of gadt based on type
|
|
2
|
746
|
September 7, 2020
|
|
GADTs, phantom variables and type aliases
|
|
4
|
871
|
August 19, 2020
|
|
Filtering constructors by type variable (GADTs + polymorphic variants)
|
|
6
|
1182
|
August 7, 2020
|
|
Type of function returning GADT
|
|
2
|
944
|
May 20, 2020
|
|
Generating inhabitants of (G)ADT
|
|
1
|
1042
|
January 4, 2020
|
|
GADTs and modules
|
|
6
|
1243
|
July 30, 2019
|
|
Packing GADT constructors in iterable data structure
|
|
8
|
2750
|
July 29, 2019
|