src/CCL/ROOT
author Manuel Eberl <eberlm@in.tum.de>
Wed, 07 Apr 2021 11:05:00 +0200
changeset 73791 16a2b7f582fa
parent 70868 36c8c32346cb
permissions -rw-r--r--
fixed problematic addition operation in the 'approximation' package (previous version used much too high precision sometimes)

chapter CCL

session CCL = Pure +
  description "
    Author:     Martin Coen, Cambridge University Computer Laboratory
    Copyright   1993  University of Cambridge

    Classical Computational Logic based on First-Order Logic.

    A computational logic for an untyped functional language with
    evaluation to weak head-normal form.
  "
  sessions
    FOL
  directories "ex"
  theories
    Wfd
    Fix
    (* Examples for Classical Computational Logic *)
    "ex/Nat"
    "ex/List"
    "ex/Stream"
    "ex/Flag"