3 ms·
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 do
by 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 agoSounds cool. Your repo might be private, I can't view it.