Solving system-F application with metavariables

Jan 23, 2023 · 4 min read · We've all been there before. You have a function you want to call, and a variable you want to call it with, but you just don't want to manually write instantiations when all the needed info is (probably) there! Warning - This is not particularly read...