HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by potsandpans | Hacker News Reader
Parent
Full thread
potsandpans
·
This is very interesting to me. Care to share your process?
View on HN
igravious
·
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
potsandpans
·
Sounds cool. Your repo might be private, I can't view it.
Reply on news.ycombinator.com