Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 27, 2022

• Simply Typed Lambda Calculus - Intrinsic well typed terms

  andorp

  committed
  6db83ae

  Copy full SHA for 6db83ae

Commits on Feb 26, 2022

• Temporary FFICall

  andorp

  committed
  cdf21b6

  Copy full SHA for cdf21b6

• WellTypedTerms

  andorp

  committed
  4eb94a5

  Copy full SHA for 4eb94a5

Commits on Feb 5, 2022

• New Substituition

  andorp

  committed
  8eb991c

  Copy full SHA for 8eb991c

• Snapshot 2022-02-05

  andorp

  committed
  532fee1

  Copy full SHA for 532fee1

Commits on Jan 2, 2022

• TaPLc: Some lemmas for evaluation.

  andorp

  committed
  ee915ef

  Copy full SHA for ee915ef

• TaPLc: Add Ty index to Progress.

  andorp

  committed
  1c99897

  Copy full SHA for 1c99897

• TaPLc: Interpreter WiP

  andorp

  committed
  ad4316a

  Copy full SHA for ad4316a

Commits on Dec 29, 2021

• TaPLc: FFI

  andorp

  committed
  a5d5104

  Copy full SHA for a5d5104

Commits on Dec 28, 2021

• TaPLc: Evaluate Case expression.

  andorp

  committed
  5a124bf

  Copy full SHA for 5a124bf

• TaPLc: Evaluate Variants.

  andorp

  committed
  4779324

  Copy full SHA for 4779324

• TaPLc: Remove unnecessary assert_totals.

  andorp

  committed
  79cb238

  Copy full SHA for 79cb238

Commits on Dec 27, 2021

• TaPLc: Remove unused paramter.

  andorp

  committed
  86b6d5f

  Copy full SHA for 86b6d5f

• TaPLc: Remove verbose parameters form Tuple value.

  andorp

  committed
  7c37542

  Copy full SHA for 7c37542

• TaPLc: Record evaluation.

  andorp

  committed
  89271ac

  Copy full SHA for 89271ac

• TaPLc: Actually we can support Zero tuples too.

  andorp

  committed
  71dda2f

  Copy full SHA for 71dda2f

• TaPLc: Only support NonZero tuples.

  andorp

  committed
  7f7b05e

  Copy full SHA for 7f7b05e

Commits on Dec 26, 2021

• TypedLambda prototype.

  andorp

  committed
  f047e27

  Copy full SHA for f047e27

• TaPLc: Evaluation.

  andorp

  committed
  00cc1b3

  Copy full SHA for 00cc1b3

Commits on Dec 21, 2021

• Chapter14: substitution

  andorp

  committed
  5ef1852

  Copy full SHA for 5ef1852

• Chapter14: Take #1

  andorp

  committed
  cf2f515

  Copy full SHA for cf2f515

Commits on Dec 20, 2021

• TaPLc: Renaming.

  andorp

  committed
  b9d3b76

  Copy full SHA for b9d3b76

Commits on Dec 14, 2021

• TaPLc: add total annotations.

  andorp

  committed
  d9c5882

  Copy full SHA for d9c5882

Commits on Dec 13, 2021

• Updated .gitignore

  andorp

  committed
  a494546

  Copy full SHA for a494546

• Adding TaPLc initiative.

  andorp

  committed
  f317ac0

  Copy full SHA for f317ac0

Commits on Dec 12, 2021

• Chapter11: Finished DecEq instances.

  andorp

  committed
  5218809

  Copy full SHA for 5218809

Commits on Dec 5, 2021

• Chapter11: Whitespace chagnes.

  andorp

  committed
  2099f85

  Copy full SHA for 2099f85

• Chapter11: Improve error reporting.

  andorp

  committed
  ee937ec

  Copy full SHA for ee937ec

• Chapter11: List

  andorp

  committed
  03d1041

  Copy full SHA for 03d1041

• Chapter11: Zero Quantity for TypeStatement in |-

  andorp

  committed
  1011334

  Copy full SHA for 1011334

• chapter11: Minor tweaks.

  andorp

  committed
  8e1c804

  Copy full SHA for 8e1c804

• Chapter11: Fix

  andorp

  committed
  3a8c675

  Copy full SHA for 3a8c675

• Chapter11: Some renaming.

  andorp

  committed
  45e02ba

  Copy full SHA for 45e02ba

• Chapter11: Variants

  andorp

  committed
  647dc50

  Copy full SHA for 647dc50

Commits on Dec 2, 2021

• Chapter11: Record

  andorp

  committed
  867a028

  Copy full SHA for 867a028

Pagination

Previous

Next