Implement Q and Total judgements in prototype

sweirich / trellys

Automatically exported from code.google.com/p/trellys

45 stars 6 forks source link

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

Use the rules from the unannotated language to implement the Q/Total 
judgements, which should relax the value restriction.

Original issue reported on code.google.com by garrin.kimmell on 17 Jan 2011 at 8:47