Bidirectional type checking step by step (in Ruby) #1 Post by luizpv9 » Fri, Oct 10, 2025, 10:42 PM UTC Bidirectional type checking step by step (in Ruby)luizpvas.github.io