"Why don't you use dependent types?" (via indolering) — discussion

#formalmethods