From: Michael Norrish <michael.norrish@nicta.com.au> I did some grepping in the source code, and realised that I need to use TVar rather than TFree, when constructing an inclass term.
Michael.
Last updated: Apr 30 2025 at 08:27 UTC