nowhere.x86-linux

Translates programs from an extended Standard ML to Standard ML

Install

All systems
curl cmd.cat/nowhere.x86-linux.sh
Debian Debian
apt-get install nowhere
Ubuntu
apt-get install nowhere
image/svg+xml Kali Linux
apt-get install nowhere
Windows (WSL2)
sudo apt-get update sudo apt-get install nowhere
Dockerfile
dockerfile.run/nowhere.x86-linux

nowhere

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.