standard ml - inscription on blue keyboard key

commands development dialect expressions functional keyboard language meta modern modular programming provers rule rules standard theorem type