Code

[in-progress] Imp manual strictness#6

Code

Open

nishantjr wants to merge 10 commits intomasterkframework/k-in-k:masterfrom imp-manual-strictnesskframework/k-in-k:imp-manual-strictnessCopy head branch name to clipboard

+291-142

Commits

Commits on Jul 22, 2019

• !!! incomplete: Extend imp to do heating and cooling

  nishantjr

  committed
  c33cd1a

  Copy full SHA for c33cd1a

• imp: Add Brackets to allow unambigious expressions with more that two terms

  nishantjr

  committed
  7ad29b1

  Copy full SHA for 7ad29b1

• build: Fix alias t/imp => t/imp-simple

  nishantjr

  committed
  9225bed

  Copy full SHA for 9225bed

• !!! Assign statement

  nishantjr

  committed
  c59f0fb

  Copy full SHA for c59f0fb

Commits on Aug 15, 2019

• build: Rename lang_test to exec_test

  nishantjr

  committed
  a2d5181

  Copy full SHA for a2d5181

• configuration: improve formatting

  nishantjr

  committed
  e2b760a

  Copy full SHA for e2b760a

• Rename imp-simple to expressions

  nishantjr

  committed
  3d44cef

  Copy full SHA for 3d44cef

• Imp => Exp

  nishantjr

  committed
  751df60

  Copy full SHA for 751df60

Commits on Aug 28, 2019

• !!! t/expressions

  nishantjr

  committed
  97c08e9

  Copy full SHA for 97c08e9

• Minimal example for sort inference with subsorting

  nishantjr

  committed
  0f79e72

  Copy full SHA for 0f79e72