| #
3acfe302 |
|
19-Mar-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Eliminate some occurrences of TruePrefix (an ancient holdover)
Fix a TFL example along the way and turn it into a script file that
can be tested as part of the selftest regime. (Changed the
interesting termination part of it to use tDefine; fixed the type
definition so that the 'state type variable was the first argument to
the binary type operator.)
|