All pull requests

Pull requests

• Add als executable as dependency of test-suite

  #43·juliapath opened Feb 27, 2026Contributor·

  ·
  1

  3

• [Draft] Deeper integration with Agda: foundational work

  #41·nvarner opened Nov 1, 2025·1 of 3 tasks·

  ·
  4