Commit Graph

1 Commits

Author SHA1 Message Date
Barend Gehrels
38aa0c24a9 [correct] Split off correct_closure from correct
Including unit test
2017-10-19 15:51:43 +02:00