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

Log in to post comments