jblueberry87.hashnode.devยทJan 23, 2023Solving system-F application with metavariablesWe'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...41 readsType InferenceAdd a thoughtful commentNo comments yetBe the first to start the conversation.
