just did a map using two lists as input! logic programming is cooool
having fun playing with makam:
Conversation
Having too much fun with Makam…
3
3
It's interesting that check and synth end up having the same signature here...
1
1
yeah, they have different modes though - like:
check : in -> in -> in -> mode.
synth : in -> in -> out -> mode.
(if Makam had support for this, like in Mercury)
2
IIUC, the point of the bidirectionality is to get some 'control' over the declarative typing rules.