| #
90d6cb04 |
|
02-Feb-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Adjust fixities of finite map composition operators
|
| #
08d7a558 |
|
23-Oct-2014 |
Piotr Trojanek <piotr.trojanek@gmail.com> |
trailing newlines in *.{sml,sig} files from src/ removed
Trailing newlines from SML files in src/ were rendered in HTML documentation.
|
| #
a2328149 |
|
23-Sep-2011 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Adopt ML-style syntax for case expressions and use freed up "||" for bitwise-or. See issue #24.
|
| #
08a9b283 |
|
10-Mar-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Add new trie-like type that recurses over a finite map.
This theory was originally developed as part of the C++ mechanisation
work I did for QinetiQ. This type was used to represent recursive
name-space like environments.
|