Opened 4 years ago

Closed 3 years ago

#365 closed enhancement (fixed)

Support separate signatures in Source Tetra

Reported by: benl Owned by:
Priority: normal Milestone: 0.4.3
Component: Source Parser Version: 0.4.2
Keywords: Cc:

Description

Allow the signature and definition of a binder to be specified separately as in Haskell. The core language naturally supports separate signatures, but we need to parse them in the source language.

Change History (1)

comment:1 Changed 3 years ago by benl

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.