yav/type-nat-solver

Issues

• Doesn't work with GHC 8.6+

  #11 opened 5 years ago by apaszke
  0

• More exposure?

  #9 opened 8 years ago by flip111
  0

• Deriving `unsafeCoerce' using the type-nat-solver

  #7 opened 9 years ago by plaidfinch
  1

• Tick-marks in type variable names crash the solver

  #3 opened 9 years ago by plaidfinch
  1

• `mkNewFact` is not compatible with GHC HEAD

  #4 opened 9 years ago by plaidfinch
  2

• Running out of context stack, when we should not be

  #2 opened 10 years ago by yav
  1

• Panic instead of type error

  #1 opened 10 years ago by yav
  0