Tag: Type Inference

October 21, 2023 Part 3: Rowing Afloat Datatype Boats
July 1, 2023 Part 2: Tying up Type Inference
June 24, 2023 Part 1: Bidirectional Constraint Generation
June 17, 2023 Part 0: Designing a Language without a Parser