Bram-Hub/Willow

Cannot use FOL functions as objects

Closed this issue · 1 comments

Instantiating a variable as f(a) does not work properly.

fixed in commit ccae046