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