Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 10, 2025

• clean !

  

  Thomas Mahler

  committed
  0b311b1

  Copy full SHA for 0b311b1

• more cleanup!

  

  Thomas Mahler

  committed
  9d1484b

  Copy full SHA for 9d1484b

• clean up a bit

  

  Thomas Mahler

  committed
  934e0a5

  Copy full SHA for 934e0a5

• got the termReducer working

  

  Thomas Mahler

  committed
  b38a830

  Copy full SHA for b38a830

Commits on Sep 3, 2025

• add benchmark for mhs compile + execute

  

  Thomas Mahler

  committed
  8ebefe9

  Copy full SHA for 8ebefe9

Commits on Aug 30, 2025

• use latest version of MicroHs

  

  Thomas Mahler

  committed
  1c648cd

  Copy full SHA for 1c648cd

Commits on Aug 3, 2025

• working with my patched version of MicroHs

  

  Thomas Mahler

  committed
  938d209

  Copy full SHA for 938d209

Commits on Jul 27, 2025

• toying around with MicroHs

  

  Thomas Mahler

  committed
  2c61796

  Copy full SHA for 2c61796

Commits on Jul 23, 2025

• first try to integrate mhs as external process

  

  Thomas Mahler

  committed
  1022ab0

  Copy full SHA for 1022ab0

• Compilation to MicroHs Assembly works now for all test programs

  

  Thomas Mahler

  committed
  9bb140e

  Copy full SHA for 9bb140e

• reverse order of if then else code

  

  Thomas Mahler

  committed
  d7344eb

  Copy full SHA for d7344eb

• improving the term reducer

  

  Thomas Mahler

  committed
  7aaf166

  Copy full SHA for 7aaf166

• some minor improvements of the term reducer

  

  Thomas Mahler

  committed
  9a5973e

  Copy full SHA for 9a5973e

Commits on Jul 21, 2025

• simple stuff is working

  

  Thomas Mahler

  committed
  362fcfc

  Copy full SHA for 362fcfc

• add the term reducer

  

  Thomas Mahler

  committed
  76c2a07

  Copy full SHA for 76c2a07

• add the term reducer

  

  Thomas Mahler

  committed
  e738d53

  Copy full SHA for e738d53

• providing a TermReducer and some tests for it.

  

  Thomas Mahler

  committed
  e0a6750

  Copy full SHA for e0a6750

• get rid of explicit TRUE and FALSE combinators

  

  Thomas Mahler

  committed
  1865012

  Copy full SHA for 1865012

• getting rif of IF combinator part 1

  

  Thomas Mahler

  committed
  d6a688b

  Copy full SHA for d6a688b

Commits on Jul 20, 2025

• prepare usage of MicroHs backend

  

  Thomas Mahler

  committed
  a2c84b9

  Copy full SHA for a2c84b9

Commits on Jul 6, 2025

• add MicroHs dependency

  

  Thomas Mahler

  committed
  22ff6ff

  Copy full SHA for 22ff6ff

Commits on Oct 25, 2023

• is a termreducer really worse than graph-reduction?

  thma

  committed
  7c91e47

  Copy full SHA for 7c91e47

Commits on Oct 8, 2023

• almost there

  thma

  committed
  8189214

  Copy full SHA for 8189214

Commits on Oct 7, 2023

• more figures

  thma

  committed
  190151f

  Copy full SHA for 190151f

• showing first figures

  thma

  committed
  353a9ec

  Copy full SHA for 353a9ec

Commits on Oct 5, 2023

• on the way

  thma

  committed
  4c5e743

  Copy full SHA for 4c5e743

Commits on Oct 3, 2023

• some progress

  thma

  committed
  54fc083

  Copy full SHA for 54fc083

• on the way

  thma

  committed
  1952cdb

  Copy full SHA for 1952cdb

• making progress

  thma

  committed
  d64d84a

  Copy full SHA for d64d84a

Commits on Oct 2, 2023

• on the way

  thma

  committed
  fc4b7f8

  Copy full SHA for fc4b7f8

Commits on Sep 30, 2023

• de bruijn & co...

  thma

  committed
  b6a4537

  Copy full SHA for b6a4537

• making Kiselyov-Eta work with graph reduction.

  thma

  committed
  405c3fc

  Copy full SHA for 405c3fc

Commits on Sep 27, 2023

• making some progress

  thma

  committed
  9ddf210

  Copy full SHA for 9ddf210

Commits on Sep 26, 2023

• start writing

  thma

  committed
  cab99b7

  Copy full SHA for cab99b7

Commits on Sep 17, 2023

• start writing the blog

  thma

  committed
  f2d5220

  Copy full SHA for f2d5220

Pagination

Previous

Next