% the booleans are a finite type. % this theory is useful to discharge TCCs from finiteness proofs for % composed types such as set[T] = [T -> bool] % % Author: Alfons Geser, National Institute of Aerospace % Date: Jan 2005
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
