Opened 10 months ago

Closed 6 months 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 6 months ago by benl

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