Discussions

• 1 You must be logged in to vote

  🙏

  Why can I not use the List.equal function in this codebase?

  ahelwer asked Oct 10, 2025 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Can TLAPM be used as a library?

  EmmanuelMess asked Jul 22, 2025 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  What is the purpose of defining the user signal handler in src/tlapm.ml?

  ahelwer asked Jul 5, 2025 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  How can I run a debugger against the codebase?

  ahelwer asked Jul 14, 2024 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Where should OCaml-only unit tests go?

  ahelwer asked Jul 5, 2024 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  🙏

  Some questions about the build system

  ahelwer asked Jul 5, 2024 in Q&A · Answered

  

  

  2