Dependent if expressions without dependent types (by Gabriella439) — discussion

#plt