Comment by igravious
2 months 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.
2 months 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.
Sounds cool. Your repo might be private, I can't view it.