Opened 3 years ago

Closed 3 years ago

#378 closed enhancement (fixed)

Complete merging (~>) and (->) type constructors.

Reported by: benl Owned by:
Priority: normal Milestone: 0.4.3
Component: Core Type Checker Version: 0.4.2
Keywords: Cc:


Use a single baked in arrow constructor for both type and kind level, as a step towards unifying terms and types.

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.