Dependent if expressions without dependent types

15 points by Gabriella439 11 hours ago on lobsters | 1 comment

: ph14nix | 7 hours ago
This is like Church encoding of bool's singleton type, right?