search

sweirich / trellys

Automatically exported from code.google.com/p/trellys
45 stars 6 forks source link

Add "axiom" keyword to allow type declaration without implementation #8

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
I'm about to remove the ability to have type declarations without 
implementations, in the process of addressing issue 6.  But, this capability is 
useful if you want to see what you could type check, supposing you had some 
term you don't want to, or don't know how to, implement.

Original issue reported on code.google.com by nathan.c...@gmail.com on 17 Dec 2010 at 6:03

GoogleCodeExporter commented 9 years ago 
By "issue 6" above I mean "issue 7", but I can't figure out how to edit the 
original description :P

Original comment by nathan.c...@gmail.com on 17 Dec 2010 at 6:08

GoogleCodeExporter commented 9 years ago 
Fixed in r52.  Test code updated in r53.

Original comment by nathan.c...@gmail.com on 27 Dec 2010 at 10:27