Or a start at one, at this point. From miniKanren uncourse hangout #14 with Ambrose Bonnaire-Sergeant.
Should implement the inference rules from the paper Logical Types for Untyped Languages. The next step is to implement type update from Figure 9.
Or a start at one, at this point. From miniKanren uncourse hangout #14 with Ambrose Bonnaire-Sergeant.
Should implement the inference rules from the paper Logical Types for Untyped Languages. The next step is to implement type update from Figure 9.