16 Nov
2016
16 Nov
'16
10:06 p.m.
Could we use `bool` rather than add a new term for RebindableSyntax? i.e. define if-then-else in terms of `bool`.