<< Back to previous view

[CTYP-93] Support refinement types Created: 08/Nov/13  Updated: 08/Nov/13

Status: Open
Project: core.typed
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Enhancement Priority: Minor
Reporter: Ambrose Bonnaire-Sergeant Assignee: Ambrose Bonnaire-Sergeant
Resolution: Unresolved Votes: 0
Labels: None


 Description   

Typed Racket's refinement types are useful. We should implement something similar.


Generated at Wed Oct 22 09:02:33 CDT 2014 using JIRA 4.4#649-r158309.