Code

Add Symbolic ADTs!#5

Code

Merged

SophieBosio merged 25 commits intomainSophieBosio/contra:mainfrom SADTsSophieBosio/contra:SADTsCopy head branch name to clipboardMay 7, 2024

+466-255

Commits

Commits on May 3, 2024

• Fix: Now you can define multi-char REPL vars!

  SophieBosio

  committed
  84ecf0c

Commits on May 4, 2024

• Clean up old redundancy

  SophieBosio

  committed
  6740f3e

• Fix duplication bug in PartialEvaluator!!

  SophieBosio

  committed
  8f1202c

• Revert "Fix duplication bug in PartialEvaluator!!"

  Show description for 1fd8f27
  SophieBosio

  committed
  1fd8f27

• Overhaul of the PartialEvaluator

  SophieBosio

  committed
  e454bd2

• General cleanup, plus some helper functions

  SophieBosio

  committed
  6b38974

• Update some examples

  SophieBosio

  committed
  e2d5154

• Handle external function calls

  SophieBosio

  committed
  7afa99d

Commits on May 5, 2024

• Don't mix SBV into Syntax

  SophieBosio

  committed
  bbb62f4

• Avoid redundancy: Just need State

  SophieBosio

  committed
  4fa3697

• Missed a canonical term!

  SophieBosio

  committed
  471ff31

• Cleaner code

  SophieBosio

  committed
  5d0b1e7

Commits on May 6, 2024

• Handle recursive functions gracefully!

  SophieBosio

  committed
  a3c81f0

• Use * for sections

  SophieBosio

  committed
  c30d1cd

• Restructure

  SophieBosio

  committed
  f4744ca

• Comments & examples

  SophieBosio

  committed
  55efb37

• Add SADT

  SophieBosio

  committed
  3f9ba12

• Extend environment with cardinality and selector

  SophieBosio

  committed
  3882937

• Add 'reconstruct'

  SophieBosio

  committed
  2871871

• Mergeable and sEqual!

  SophieBosio

  committed
  acec3d5

• Update Translator

  SophieBosio

  committed
  16172f0

• Coerce sketch

  SophieBosio

  committed
  7bb4989

Commits on May 7, 2024

• Remove old implementation

  SophieBosio

  committed
  1dcfa26

• With random strings!

  SophieBosio

  committed
  52c9eb4

• Use field names instead!

  SophieBosio

  committed
  aced60e