8 Oct
2017
8 Oct
'17
8:43 p.m.
In Std_utils we already extend Char and String. These commits take it a little further by extending List and adding a new Option submodule. All basically simple refactoring. Rich.