Opened 3 years ago

Closed 3 years ago

#342 closed defect (fixed)

Allow lambda binders without type/kind annots in Source tetra

Reported by: benl Owned by:
Priority: normal Milestone: 0.4.3
Component: Source to Core Translation Version: 0.4.1
Keywords: Cc:

Description


Change History (2)

comment:1 Changed 3 years ago by benl

  • Milestone changed from 0.4.2 to 0.4.3

comment:2 Changed 3 years ago by benl

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