Binary package “nowhere” in ubuntu lunar
Translates programs from an extended Standard ML to Standard ML
This is a source-to-source translation tool that expands case
expressions that use conditional patterns. Conditional patterns that
use the "where" keyword are converted into SML.