diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-24 22:37:21 +0100 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-24 22:37:21 +0100 |
| commit | 226f58656b4b7f92f6de9a817ab9106937e061e9 (patch) | |
| tree | d2e4c23e520d99c59685d18b24058f8a45def43e /general.sml | |
| parent | 87217fe5ba58f5199d30586b5d9bec104dece445 (diff) | |
Simplified stream
Diffstat (limited to 'general.sml')
| -rw-r--r-- | general.sml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/general.sml b/general.sml index cde0514..1434d5b 100644 --- a/general.sml +++ b/general.sml @@ -1,3 +1,5 @@ +exception Unreachable + fun $ (x, y) = x y infixr 0 $ |