Projects
Filters
Dashboards
Apps
Create
core.typed
Classic software project
Board
Reports
Issues
Components
Projects
/
core.typed
/
CTYP-287
Copy link to issue
summary
Add contract system and `cast` expression
Description
Add a contract system a la racket/contract.
WIP PR
:
74
Commit
:
7250d32d
Environment
Environment
None
Closed
Completed
Assignee
Assignee
Ambrose Bonnaire-Sergeant
Reporter
Reporter
Ambrose Bonnaire-Sergeant
Labels
Labels
None
Approval
Approval
None
Patch
Patch
None
Fix versions
Fix versions
0.3.16
Priority
Priority
Minor
Show 5 more fields
Time tracking, Time tracking, Components, Affects versions and Due date
Configure
