vstte12_combinators_WP_Combinators_irreducible_is_value_1.v 3.88 KB