/* -*- Mode: Prolog -*- */ :- op(200,fx,`). % eval-in-depend-context :- op(200,fx,(#)). % delay/lambda :- op(700,xfx,*=). :- op(500,fx,::). :- op(550,xfy,dot). :- op(600,fx,initslash). :- op(1200,fy,(bang)). :- op(1100,xfy,where). :- op(1000,xfy,then). :- op(1000,xfy,when). :- op(950,xfy,else). :- op(950,xfy,or). :- op(1150,xfy,<-). :- op(1050,xfy,(<<)). :- op(700,xfx,(>&)). :- op(750,fx,strict). :- op(750,fx,(\\)). :- op(200,xfy,(++)). :- op(1150,fx,const). :- op(1150,fx,::). :- op(1150,fx,distinct). :- op(1200,xfx,:=). % normal defun :- op(1200,xfx,($=)). % strict :- op(1200,xfx,(@=)). % macro def