Ticket #21 (closed feature: duplicate)

Opened 9 years ago

Last modified 7 years ago

Output the typing derivation

Reported by: hritcu Owned by: somebody
Priority: major Milestone: 0.2.2
Component: zk-typechecker Keywords:

Description (last modified by hritcu) (diff)

Update 2010-03-05: Have a look at Ticket #73

Have the type-checker output the whole type derivation in a format that is suitable for further automatic processing

  • Martin needs this, but also us, and maybe even Thorsten and Alex

Change History

comment:1 Changed 8 years ago by hritcu

  • Milestone changed from 0.1 (CCS) to 0.11

comment:2 Changed 7 years ago by hritcu

  • Status changed from new to closed
  • Resolution set to duplicate
  • Description modified (diff)
Note: See TracTickets for help on using tickets.