Discussions

• 3 You must be logged in to vote

  💬

  I wrote that blog post on how to 0 + 1.

  stevenhuyn started Dec 26, 2023 in General · Closed

  

  

  

  

  5
• 1 You must be logged in to vote

  💬

  Small mistake in Interaction Nets, Combinators, and Calculus Posted's schema..

  staeter started Mar 22, 2025 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Error about yy annihilation in your blog post "Interaction Nets, Combinators, and Calculus" posted March 26, 2023

  DiegoCabreraPell started Sep 2, 2024 in General

  

  

  4
• 1 You must be logged in to vote

  💬

  source code link in hvm is incorrect

  stevenhuyn started Oct 27, 2023 in General · Closed

  

  

  1