Skip to content
This repository has been archived by the owner on Aug 15, 2018. It is now read-only.

Issues: mndrix/mavis

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

mode and determinism checking
#14 opened Jan 23, 2014 by mndrix
check clause heads for exhaustion
#13 opened Dec 26, 2013 by mndrix
check types in clause heads
#12 opened Dec 26, 2013 by mndrix
rename the/2
#10 opened Dec 20, 2013 by mndrix
skip duplicate type assertions
#9 opened Mar 8, 2013 by mndrix
infer types from variable names
#6 opened Mar 2, 2013 by mndrix
implement types as constraints?
#5 opened Feb 4, 2013 by mndrix
teach the/2 about intersection types
#3 opened Feb 4, 2013 by mndrix
teach the/2 about union types
#2 opened Jan 31, 2013 by mndrix
sugar for creating types
#1 opened Jan 31, 2013 by mndrix
ProTip! Adding no:label will show everything without a label.