Commit Graph

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