Closed sroberti closed 1 year ago
Here is the synthesis code I've been experimenting with.
Thanks @sroberti!
Please note that I have moved your idris-synthesis folder under program-synthesis, alongside idris-proofsearch.
idris-synthesis
program-synthesis
idris-proofsearch
Here is the synthesis code I've been experimenting with.