Code

Compiler to Go#78

Code

Draft

robertkleffner wants to merge 18 commits intomasterglossopoeia/boba:masterfrom feature/compile-to-goglossopoeia/boba:feature/compile-to-goCopy head branch name to clipboard

+3,069-43

Commits

Commits on Apr 12, 2023

• Scaffolding for go version of commands

  robertkleffner

  committed
  75484a1

• Basics of kind data type implemented

  robertkleffner

  committed
  21725f1

Commits on Apr 13, 2023

• More kind utilities

  robertkleffner

  committed
  9cea6d4

Commits on Apr 14, 2023

• Linear equation solving

  robertkleffner

  committed
  23859c8

• More documentation for linear

  robertkleffner

  committed
  988fbb4

• Some basic Abelian equation implementation, minor reorg

  robertkleffner

  committed
  03c43fb

Commits on Apr 17, 2023

• Finish Abelian unification implementation, still need to add tests

  robertkleffner

  committed
  a7c6fbb

• Fix nondeterministic map traversal bug

  robertkleffner

  committed
  f5a63e1

• More determinism in generated substitution results, unify tests

  robertkleffner

  committed
  0429cfa

• Reorganization for better naming, beginning boolean unification

  robertkleffner

  committed
  11bd24b

Commits on Apr 18, 2023

• A little more progress on Booleans

  robertkleffner

  committed
  fc9937a

Commits on Apr 20, 2023

• Making some parts more 'functional' for clarity

  robertkleffner

  committed
  e79ec80

Commits on Apr 21, 2023

• More of Boolean minimization

  robertkleffner

  committed
  1623ee2

Commits on Apr 24, 2023

• Boolean minimization complete

  robertkleffner

  committed
  5466a3c

Commits on Apr 25, 2023

• Documentation improvements and fix a forgotten step in Petricks

  robertkleffner

  committed
  bef753f

• Boolean unification and tests

  robertkleffner

  committed
  0740a25

Commits on Apr 28, 2023

• Building up lots of utilities around types

  robertkleffner

  committed
  d1c7f0e

• Beginning the journey into substitution of types and kinds

  robertkleffner

  committed
  2d1064a