We can make this implicit later, but for now let’s have it explicit and make it of type term -> name

Submitted by Jeff Smits on 5 December 2017 at 08:17

On 21 June 2018 at 15:01 Jeff Smits closed this issue.

Log in to post comments