Diamond Kata

Index   <<   >>

•   descriptive v prescriptive •   checking v computing (à la NP-completeness) •   parallel development