Uploaded image for project: 'core.typed'
  1. core.typed
  2. CTYP-287

Add contract system and `cast` expression

    Details

    • Type: Improvement
    • Status: Closed
    • Priority: Minor
    • Resolution: Completed
    • Affects versions: None
    • Fix versions: 0.3.16
    • Components: None
    • Labels:
      None

      Description

      Add a contract system a la racket/contract.

      WIP PR: 74
      Commit: 7250d32d

        Attachments

          Activity

            People

            • Assignee:
              ambrosebs Ambrose BS
              Reporter:
              ambrosebs Ambrose BS
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: