Open jcreedcmu opened 3 months ago
Make it possible for twelf logic programs to do interesting things in the Mac UI.
As a proof of concept I have two branches https://github.com/jcreedcmu/twelf/tree/jcreed/domains and https://github.com/jcreedcmu/twelf-mac/tree/jcreed/twelf-alert which together allow for pragmas like
%solve foo : alert "Hello, World" *.
or
program : unit -> type. / : program * <- alert "Hello, World" *. %query 1 1 program OUT.
to trigger an alert dialog.
Make it possible for twelf logic programs to do interesting things in the Mac UI.
As a proof of concept I have two branches https://github.com/jcreedcmu/twelf/tree/jcreed/domains and https://github.com/jcreedcmu/twelf-mac/tree/jcreed/twelf-alert which together allow for pragmas like
or
to trigger an alert dialog.