Commits

Branch selector

 main

User selector

sColin16

Datepicker

All time

Commit History

Commits on Mar 10, 2024

• Clean up tests

  sColin16

  committed
  2277327

  Copy full SHA for 2277327

• Optimization: automatically resolve branch if it is the sole branch

  sColin16

  committed
  c9906a6

  Copy full SHA for c9906a6

• Move functions into example helpers

  sColin16

  committed
  682a295

  Copy full SHA for 682a295

• Refactor quantifier typing logic

  sColin16

  committed
  59d2ba1

  Copy full SHA for 59d2ba1

• Continue to refactor abstraction and application typing logic

  sColin16

  committed
  53862fe

  Copy full SHA for 53862fe

• Refactor quantifier typing logic

  sColin16

  committed
  833bb3d

  Copy full SHA for 833bb3d

• Refactor optional list mapping helper

  sColin16

  committed
  7cc304c

  Copy full SHA for 7cc304c

• Refactor abstraction typing logic

  sColin16

  committed
  420fbf5

  Copy full SHA for 420fbf5

Commits on Mar 9, 2024

• README touchups

  sColin16

  committed
  46bc870

  Copy full SHA for 46bc870

• Indicate the language can encode existential types

  sColin16

  committed
  86f0f1c

  Copy full SHA for 86f0f1c

• Implement simple demonstration of encoding existential types in terms of polymorphism

  sColin16

  committed
  d53737d

  Copy full SHA for d53737d

• Rune dune fmt

  sColin16

  committed
  10117ca

  Copy full SHA for 10117ca

• Rename structured_type -> recursive_type

  sColin16

  committed
  b816a89

  Copy full SHA for b816a89

• Remove unused opam file

  sColin16

  committed
  12bacd3

  Copy full SHA for 12bacd3

• Restructure code into src and examples

  sColin16

  committed
  7471af9

  Copy full SHA for 7471af9

• Update README with updated name

  sColin16

  committed
  a8877e1

  Copy full SHA for a8877e1

Commits on Mar 8, 2024

• Parametric polymoprhism cleanup

  sColin16

  committed
  3a24489

  Copy full SHA for 3a24489

Commits on Mar 7, 2024

• Implement and test list flatten function

  sColin16

  committed
  cde4f12

  Copy full SHA for cde4f12

• Correct substitution logic to fix recursive polymoprhic type quantifier arguments

  sColin16

  committed
  b002527

  Copy full SHA for b002527

Commits on Mar 3, 2024

• Convert typing to use a type environment for variables, to simplify solution

  sColin16

  committed
  563fec7

  Copy full SHA for 563fec7

Commits on Mar 2, 2024

• Implement and test find list function

  sColin16

  committed
  c93d1e9

  Copy full SHA for c93d1e9

• Implemenet and test equal list function

  sColin16

  committed
  16e4ce1

  Copy full SHA for 16e4ce1

Commits on Mar 1, 2024

• Implement and test exists list function

  sColin16

  committed
  0a86a10

  Copy full SHA for 0a86a10

• Implement and test every (forall) list function

  sColin16

  committed
  4786ccc

  Copy full SHA for 4786ccc

• Correct universal variable shifting and substitution for nested quantifiers in recursive contexts

  sColin16

  committed
  eff4dbb

  Copy full SHA for eff4dbb

Commits on Feb 25, 2024

• Implement and test fold left function

  sColin16

  committed
  62a143c

  Copy full SHA for 62a143c

• Implement and test list map function

  sColin16

  committed
  66beb55

  Copy full SHA for 66beb55

• Add bin to gitignore

  sColin16

  committed
  9c15f51

  Copy full SHA for 9c15f51

• Implement list filter function, refactors to make code less verbose

  sColin16

  committed
  06eefa6

  Copy full SHA for 06eefa6

Commits on Jan 21, 2024

• Write and test list reverse function

  sColin16

  committed
  509dcaa

  Copy full SHA for 509dcaa

• Write and test list concat and append functions

  sColin16

  committed
  1bdd2fb

  Copy full SHA for 1bdd2fb

• Write and test nth list function

  sColin16

  committed
  98b5018

  Copy full SHA for 98b5018

• Refactor abstraction typing to prevent bugs related to shifting recursive type variables

  sColin16

  committed
  19fceae

  Copy full SHA for 19fceae

• Implement and test list length function, avoid unnecessary substitutions

  sColin16

  committed
  ba90e7b

  Copy full SHA for ba90e7b

Commits on Jan 14, 2024

• Add simple functions and tests for inductive arithmetic

  sColin16

  committed
  5468434

  Copy full SHA for 5468434

Pagination

Previous

Next