PropEr PropEr is a property-based library for Erlang. PropEr's Shrinking Approach TBA Implemented Challenges large union list calculator reverse lengthlist distinct