There was an error fetching the commit references. Please try again later.
Merge pull request #88 from aqjune/print_typed_var
Print terms that invented types when `type_invention_error` is set
No related branches found
No related tags found
Please register or sign in to comment