Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 6, 2023

• Merge pull request #19 from kings177/patch-1

  Show description for 0ad59c5
  VictorTaelin

  authored
  0ad59c5

  Copy full SHA for 0ad59c5

• Update README.md

  kings177

  authored
  7562302

  Copy full SHA for 7562302

Commits on Jul 10, 2023

• Move Interaction Type Theory experiments to another repo

  VictorTaelin

  committed
  9016a01

  Copy full SHA for 9016a01

• update bin

  VictorTaelin

  committed
  ca257b2

  Copy full SHA for ca257b2

Commits on Jul 8, 2023

• ITT basis

  VictorTaelin

  committed
  bd29b18

  Copy full SHA for bd29b18

Commits on Jul 3, 2023

• Decrease file number - I think for this project, it will be better to keep a low file count

  VictorTaelin

  committed
  d33401f

  Copy full SHA for d33401f

Commits on Jun 28, 2023

• gentrees.png

  VictorTaelin

  committed
  ec75fd8

  Copy full SHA for ec75fd8

• Merge branch 'typed' of github.com:VictorTaelin/symmetric-interaction-calculus into typed

  VictorTaelin

  committed
  abd9975

  Copy full SHA for abd9975

Commits on Jun 27, 2023

• Merge pull request #14 from Derenash/typed

  Show description for 67bf55a
  VictorTaelin

  authored
  67bf55a

  Copy full SHA for 67bf55a

Commits on Jun 22, 2023

• Fixed not skipping whitespaces on application

  Derenash

  committed
  0b7245d

  Copy full SHA for 0b7245d

Commits on Jun 21, 2023

• adjustments

  VictorTaelin

  committed
  017247a

  Copy full SHA for 017247a

Commits on Jun 20, 2023

• Merge pull request #12 from Derenash/typed

  Show description for ceb2c59
  VictorTaelin

  authored
  ceb2c59

  Copy full SHA for ceb2c59

Commits on Jun 19, 2023

• Added logs to equal.rs

  Derenash

  committed
  c1a2dc5

  Copy full SHA for c1a2dc5

• equal label parser

  VictorTaelin

  committed
  f932136

  Copy full SHA for f932136

• add show debug

  VictorTaelin

  committed
  70f0e0a

  Copy full SHA for 70f0e0a

Commits on Jun 17, 2023

• syntax for inets

  VictorTaelin

  committed
  cc5d2cd

  Copy full SHA for cc5d2cd

Commits on Jun 1, 2023

• Fixed point equality via T6's theorem

  Show description for 02769e2
  VictorTaelin

  committed
  02769e2

  Copy full SHA for 02769e2

Commits on May 31, 2023

• Merge branch 'typed' of github.com:VictorTaelin/symmetric-interaction-calculus into typed

  VictorTaelin

  committed
  2f0c779

  Copy full SHA for 2f0c779

• Interaction Equality

  VictorTaelin

  committed
  1bf502d

  Copy full SHA for 1bf502d

• Interaction Equality

  VictorTaelin

  committed
  1ee1021

  Copy full SHA for 1ee1021

Commits on May 19, 2023

• code improvements

  VictorTaelin

  committed
  3ded95b

  Copy full SHA for 3ded95b

Commits on May 18, 2023

• Organization

  VictorTaelin

  committed
  ae81443

  Copy full SHA for ae81443

• Updates and renewal

  VictorTaelin

  committed
  fe81f07

  Copy full SHA for fe81f07

Commits on May 9, 2023

• Merge pull request #10 from kings177/master

  Show description for 8da3afe
  VictorTaelin

  authored
  8da3afe

  Copy full SHA for 8da3afe

• Fixed broken links

  kings177

  authored
  4be3bd3

  Copy full SHA for 4be3bd3

Commits on Dec 28, 2022

• Add update note

  VictorTaelin

  committed
  ea59347

  Copy full SHA for ea59347

Commits on Aug 18, 2022

• Update README.md

  VictorTaelin

  authored
  7df5fd5

  Copy full SHA for 7df5fd5

• Update README.md

  VictorTaelin

  authored
  fe43f29

  Copy full SHA for fe43f29

Commits on Jan 27, 2022

• Update README.md

  VictorTaelin

  authored
  81bb362

  Copy full SHA for 81bb362

Commits on Oct 23, 2018

• Tolerate unbound variables

  VictorTaelin

  committed
  1e74be3

  Copy full SHA for 1e74be3

• Move the CLI to this project

  VictorTaelin

  committed
  4616744

  Copy full SHA for 4616744

Commits on Oct 22, 2018

• Inc version

  VictorTaelin

  committed
  3c8fc25

  Copy full SHA for 3c8fc25

• Lambda term conversion

  VictorTaelin

  committed
  78d7725

  Copy full SHA for 78d7725

Commits on Oct 3, 2018

• Fix unremoved binder

  VictorTaelin

  committed
  65ce308

  Copy full SHA for 65ce308

Commits on Sep 19, 2018

• Detect unused variables.

  VictorTaelin

  committed
  c9edbe2

  Copy full SHA for c9edbe2

Pagination

Previous

Next