TXR is copyright (C) 2009-2016, Kaz Kylheku.
The MPI library is copyright (C) 2002 Michael J. Fromberger.
The Linenoise library is copyright (c) 2010-2015 Salvatore Sanfilippo
  and copyright (c) 2010-2013 Peter Noordhuis.

All rights reserved.

Please see the document METALICENSE for notes about this license.

Redistribution of this software in source and binary forms, with or without
modification, is permitted provided that the following two conditions are met.

Use of this software in any manner constitutes agreement with the disclaimer
which follows the two conditions.

  1. Redistributions of source code must retain the above copyright
     notice, this list of conditions and the following disclaimer.
  2. Redistributions in binary form must reproduce the above copyright
     notice, this list of conditions and the following disclaimer in
     the documentation and/or other materials provided with the
     distribution.

THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY
DAMAGES, HOWEVER CAUSED, AND UNDER ANY THEORY OF LIABILITY, ARISING IN ANY WAY
OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
DAMAGE.