diff options
| author | bnewbold <bnewbold@robocracy.org> | 2012-03-07 22:32:23 -0500 |
|---|---|---|
| committer | bnewbold <bnewbold@robocracy.org> | 2012-03-07 22:32:23 -0500 |
| commit | 0ece2ecabd111078092cf9b23f7ceccf61bb4c72 (patch) | |
| tree | f837e3212232f1951ec66445d637cb56f4a0f854 /software | |
| parent | 3dd1ca29a21847a411a9aa645c610ac40d4101b0 (diff) | |
| download | knowledge-0ece2ecabd111078092cf9b23f7ceccf61bb4c72.tar.gz knowledge-0ece2ecabd111078092cf9b23f7ceccf61bb4c72.zip | |
more updates
Diffstat (limited to 'software')
| -rw-r--r-- | software/misc.page | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/software/misc.page b/software/misc.page index 6fb7918..b730b0b 100644 --- a/software/misc.page +++ b/software/misc.page @@ -28,4 +28,16 @@ Webmail the null webmail client http://www.nulllogic.ca/webmail/ +Standard ML +----------- + +`The SML Standard Basis (of types) +<http://www.soc.napier.ac.uk/~andrew/SMLBasis/sml-std-basis.html>`_ + +Mutually recursive function using 'and' syntax: + + fun foo 0 = "beer car" + | foo n = bar(n-1) + and bar 0 = "bacon" + | bar n = foo(n-1); |