Better use of modules for string, consistent with numbers.
Showing
- stdpp/pretty.v 1 addition, 1 deletionstdpp/pretty.v
- stdpp/strings.v 96 additions, 74 deletionsstdpp/strings.v
- tests/ascii.ref 8 additions, 0 deletionstests/ascii.ref
- tests/ascii.v 11 additions, 0 deletionstests/ascii.v
- tests/pretty.v 2 additions, 2 deletionstests/pretty.v
- tests/strings.ref 7 additions, 1 deletiontests/strings.ref
- tests/strings.v 9 additions, 0 deletionstests/strings.v
Loading
Please register or sign in to comment