Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
http://cseweb.ucsd.edu/~hpeleg/hplus-oopsla20.pdf
An app that synthesizes code snippets from input-output specifications. wonder if that could be integrated with HLS :happy:
http://cseweb.ucsd.edu/~hpeleg/hplus-oopsla20.pdf
An app that synthesizes code snippets from input-output specifications.
wonder if that could be integrated with HLS :happy: