Dependent if expressions without dependent types

15 points by Gabriella439

ph14nix

This is like Church encoding of bool's singleton type, right?