search

hongruiqi / happs

Automatically exported from code.google.com/p/happs
0 stars 0 forks source link

document inferIxSet #17

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
Right now the IxSet source code descibes how to write the relevant
instances manually.  It should provide a nicer example.

Original issue reported on code.google.com by alexande...@gmail.com on 14 Jan 2008 at 9:23

GoogleCodeExporter commented 8 years ago

Original comment by alexande...@gmail.com on 14 Jan 2008 at 9:23