4 ms·

i'm doing the same thing but for type theory

• potsandpans 3mo ago
  This is very interesting to me. Care to share your process?
  • igravious 3mo ago
    one agent to write the C code, one agent to write the Agda code, and an agent to bridge the two and make sure that the C code does what the Agda code says it does. https://gitlab.com/igravious/lettuce.git https://gitlab.com/igravious/lettuce.git
    • potsandpans 3mo ago
      Sounds cool. Your repo might be private, I can't view it.