2 Commits

Author SHA1 Message Date
Gabriel Tofvesson
f6fbe890b5 Implement basic beta reduction 2025-08-24 14:06:26 +02:00
Gabriel Tofvesson
0706056111 Initial commit 2025-08-23 21:32:48 +02:00