ieQu1/typerefl

Issues

• Avoid using erl_scan for primitive types

  #30 opened 3 years ago by k32
  1

• Make calls to the external types lazy

  #28 opened 3 years ago by k32
  0

• Let's think more about "strings"

  #22 opened 4 years ago by terry-xiaoyu
  2

• Free type variables

  #4 opened 6 years ago by k32
  0

• Ugly type descriptions are generated for parametrized types

  #7 opened 6 years ago by k32
  0

• Check function arity

  #3 opened 6 years ago by k32
  0

• Use typerefl to create proper generators

  #8 opened 6 years ago by k32
  0

• Check paradoxical types

  #2 opened 6 years ago by k32
  0