Code

Various small enhancements#33

Code

Merged

utkn merged 23 commits intomainreilabs/lampe:mainfrom us/deref-lens-and-repeated-arraysreilabs/lampe:us/deref-lens-and-repeated-arraysCopy head branch name to clipboardJan 15, 2025

+383-229

Commits

Commits on Jan 7, 2025

• reference type

  utkn

  committed
  aaf35d6

  Copy full SHA for aaf35d6

Commits on Jan 8, 2025

• Merge branch 'main' of https://github.com/reilabs/lampe into us/trait-as-type

  utkn

  committed
  b269e43

  Copy full SHA for b269e43

• unit literal

  utkn

  committed
  1ef0187

  Copy full SHA for 1ef0187

Commits on Jan 9, 2025

• DecidableEq Tp implemented

  utkn

  committed
  26a1a60

  Copy full SHA for 26a1a60

• tpsDecEq simplified

  utkn

  committed
  594ffb5

  Copy full SHA for 594ffb5

• removed unnecessary readLens builtin

  utkn

  committed
  6f3b0b8

  Copy full SHA for 6f3b0b8

• autoDeref parameter on the parsers to selectively disable autoderef functionality on lvals

  utkn

  committed
  9094765

  Copy full SHA for 9094765

• removed the old deref syntax

  utkn

  committed
  2d6f7cc

  Copy full SHA for 2d6f7cc

• removed the old deref syntax

  utkn

  committed
  0e668b6

  Copy full SHA for 0e668b6

• Merge branch 'us/trait-as-type' of https://github.com/reilabs/lampe into us/trait-as-type

  utkn

  committed
  c14c917

  Copy full SHA for c14c917

• autoderef param removed

  utkn

  committed
  0c06b25

  Copy full SHA for 0c06b25

• deref lens

  utkn

  committed
  b025bf3

  Copy full SHA for b025bf3

Commits on Jan 10, 2025

• repeated array constructor

  utkn

  committed
  adfca2c

  Copy full SHA for adfca2c

• deref lens example

  utkn

  committed
  27b9177

  Copy full SHA for 27b9177

• Merge branch 'main' of https://github.com/reilabs/lampe into us/trait-as-type

  utkn

  committed
  c003f48

  Copy full SHA for c003f48

• Merge branch 'main' of https://github.com/reilabs/lampe into us/deref-lens-and-repeated-arrays

  utkn

  committed
  1ec1e7e

  Copy full SHA for 1ec1e7e

• deref proof fixed

  utkn

  committed
  3974278

  Copy full SHA for 3974278

• Merge branch 'us/trait-as-type' of https://github.com/reilabs/lampe into us/deref-lens-and-repeated-arrays

  utkn

  committed
  96259c4

  Copy full SHA for 96259c4

Commits on Jan 13, 2025

• Merge branch 'main' of https://github.com/reilabs/lampe into us/deref-lens-and-repeated-arrays

  utkn

  committed
  9e02399

  Copy full SHA for 9e02399

• repeated slice constructor and updates to the extractor

  utkn

  committed
  c96e8f7

  Copy full SHA for c96e8f7

• rust formatting

  utkn

  committed
  e7f700b

  Copy full SHA for e7f700b

Commits on Jan 14, 2025

• Merge branch 'main' into us/deref-lens-and-repeated-arrays

  utkn

  authored
  9d68b14

  Copy full SHA for 9d68b14

• bugs fixed due to updated toolchain

  utkn

  committed
  257d728

  Copy full SHA for 257d728