Created by antoy on April 17, 2017
0 users favorited this

Description: A bidirectional transformation in which one direction is implemented by narrowing and functional patterns.