Of course, if you meant “hilarious” similarly to how I mean “ludicrous”, thanks! And thank you for taking the time to look at it. :-)
Of course, if you meant “hilarious” similarly to how I mean “ludicrous”, thanks! And thank you for taking the time to look at it. :-)
Your project is amazing, you are ahead of me in your thinking.
Thanks again.
If you haven't check out
Synthesizing Bijective Lenses https://arxiv.org/abs/1710.03248
Synthesizing Symmetric Lenses https://arxiv.org/abs/1810.11527
Synthesizing Quotient Lenses https://www.cs.sfu.ca/~miltner/papers/qptician.pdf
https://github.com/Optician-Tool/Optician-Tool
Boomerang https://www.seas.upenn.edu/~harmony/
https://www.microsoft.com/en-us/research/group/prose/
The subject touches on program synthesis, type directed programming and programming with holes.
Thank you for the rest of the links!