Ticket #71 (new enhancement)

Opened 6 years ago

Last modified 6 years ago

Allow Undecidable Instances

Reported by: ijones Owned by: ravi@…
Milestone: Keywords:
Cc: Section:
State:

Description

see UndecidableInstances.

Change History

Changed 6 years ago by ijones

  • owner changed from ijones to none

Changed 6 years ago by ravi@…

  • owner changed from none to ravi@…

Changed 6 years ago by john@…

  • topic set to Class System
Note: See TracTickets for help on using tickets.