Code

Relational typing example#34

Code

Draft

brandonwillard wants to merge 4 commits intopythological:mainpythological/kanren:mainfrom brandonwillard:type-inference-examplebrandonwillard/kanren-old:type-inference-exampleCopy head branch name to clipboard

+482-1

Commits

Commits on May 14, 2021

• Fix bad boolean condition

  brandonwillard

  committed
  19e009a

  Copy full SHA for 19e009a

• Add a type inference example

  brandonwillard

  committed
  cd73fc7

  Copy full SHA for cd73fc7

• Add expression tuple support for ast objects

  Show description for e5cd06e
  brandonwillard

  committed
  e5cd06e

  Copy full SHA for e5cd06e

• Implement typing for addition and numeric type promotion semantics

  brandonwillard

  committed
  ce078e2

  Copy full SHA for ce078e2