353 followers
This paper introduces a synthesis rule for a bidirectional type system for visible type applications, and it's pretty simple. https://t.co/xEjHInRTrc https://t.co/VA4UMhSCOV
This paper introduces a synthesis rule for a bidirectional type system for visible type applications, and it's pretty simple. https://t.co/xEjHInRTrc https://t.co/VA4UMhSCOV