user_2840542
user_2840542
@user_2840542
0 reputation
0 answers
12 questions
About Me
// Hello, World !
Top Answers
  1. Relational v Hierarchical data models
    9 votes
  2. Preprocessor for haskell source: is cpp the only option?
    4 votes
  3. Confused about GADTs and propagating constraints
    1 votes
  4. Functional dependency does not unify when bound in GADT
    0 votes
  5. Error matching types: using MultiParamTypeClasses and FunctionalDependencies to define heterogeneous lists and a function that returns first element
    0 votes
Top Questions
  1. differences: GADT, data family, data family that is a GADT
    7 votes
    2 answers
  2. No-fun/puzzlement with pattern synonyms as functions
    5 votes
    1 answers
  3. Preprocessor for haskell source: is cpp the only option?
    5 votes
    1 answers
  4. Pattern synonyms signature: Required vs Provided constraints
    4 votes
    1 answers
  5. Why are recursive pattern synonyms accepted?
    4 votes
    1 answers