mndrix/mavis

Issues

• throw type error with reference to type declaration location

  #15 opened 10 years ago
  0

• mode and determinism checking

  #14 opened 10 years ago
  1

• check clause heads for exhaustion

  #13 opened 11 years ago
  0

• check types in clause heads

  #12 opened 11 years ago
  0

• probabilistic detection of compatible types

  #11 opened 11 years ago
  2

• rename the/2

  #10 opened 11 years ago
  0

• skip duplicate type assertions

  #9 opened 11 years ago
  0

• rework PlDoc support using library(pldoc)

  #8 opened 11 years ago
  0

• collect, but don't assert, types from all modules

  #7 opened 11 years ago
  1

• infer types from variable names

  #6 opened 11 years ago
  1

• implement types as constraints?

  #5 opened 11 years ago
  0

• add the/2 annotations from PlDoc comments

  #4 opened 11 years ago
  1

• teach the/2 about intersection types

  #3 opened 11 years ago
  0

• teach the/2 about union types

  #2 opened 11 years ago
  0

• sugar for creating types

  #1 opened 11 years ago
  3