Commits

Branch selector

master

User selector

All users

All time

Commit history

Commits on Jun 12, 2026

• Fix dead web app, bound divergent reduction, harden build + CI

  Show description for 7323de5
  

  theRealProHacker

  and

  claude

  committed
  7323de5View commit details

  Copy full SHA for 7323de5

  Browse repository at this point

Commits on Feb 27, 2026

• Added GitHub pages build

  theRealProHacker

  committed
  5538fd6View commit details

  Copy full SHA for 5538fd6

  Browse repository at this point

Commits on Feb 23, 2026

• Fixed bugs and added test according to Perplexity Research: https://www.perplexity.ai/search/can-you-develop-tests-to-check-DTkM.ssIS7WtHngQk1cQbQ#0

  theRealProHacker

  committed
  fb40aaeView commit details

  Copy full SHA for fb40aae

  Browse repository at this point

Commits on Apr 16, 2024

• Added the possibility to parse expressions like \f.(\x.x a) correctly

  theRealProHacker

  committed
  b73031bView commit details

  Copy full SHA for b73031b

  Browse repository at this point

Commits on Apr 6, 2024

• Print errors to console

  theRealProHacker

  authored
  09aee8bView commit details

  Copy full SHA for 09aee8b

  Browse repository at this point

• Update README.md

  theRealProHacker

  authored
  82064acView commit details

  Copy full SHA for 82064ac

  Browse repository at this point

• Added web demo

  theRealProHacker

  committed
  70e334dView commit details

  Copy full SHA for 70e334d

  Browse repository at this point

Commits on Sep 4, 2023

• Updated the README to reflect the latest changes

  theRealProHacker

  committed
  c75b482View commit details

  Copy full SHA for c75b482

  Browse repository at this point

• Some small bug fixes in Python

  theRealProHacker

  committed
  190aa57View commit details

  Copy full SHA for 190aa57

  Browse repository at this point

• Added Python version with alpha reduction

  theRealProHacker

  committed
  40e98dfView commit details

  Copy full SHA for 40e98df

  Browse repository at this point

• Fixed bug

  theRealProHacker

  committed
  bf7b7e4View commit details

  Copy full SHA for bf7b7e4

  Browse repository at this point

Commits on Aug 25, 2023

• fixed a bug and added tests

  theRealProHacker

  committed
  bf30ad3View commit details

  Copy full SHA for bf30ad3

  Browse repository at this point

Commits on Feb 26, 2023

• second edition

  theRealProHacker

  committed
  c6f9279View commit details

  Copy full SHA for c6f9279

  Browse repository at this point

Commits on Feb 21, 2023

• first commit

  theRealProHacker

  committed
  380ec56View commit details

  Copy full SHA for 380ec56

  Browse repository at this point