Y
Hacker News
new
|
ask
|
show
|
jobs
by
potsandpans
12 days ago
This is very interesting to me. Care to share your process?
1 comments
igravious
11 days 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
link
potsandpans
10 days ago
Sounds cool. Your repo might be private, I can't view it.
link
https://gitlab.com/igravious/lettuce.git