ddci-core 0.2.0.1 → 0.2.0.2

raw patch · 1 files changed

+8/−3 lines, 1 files

Files

• ddci-core.cabal +8/−3

@@ -1,5 +1,5 @@ Name:           ddci-core-Version:        0.2.0.1+Version:        0.2.0.2 License:        MIT License-file:   LICENSE Author:         Ben Lippmeier@@ -12,8 +12,13 @@ Bug-reports:    disciple@ouroborus.net Synopsis:       Disciple Core language interactive interpreter. Description:    -        DDCi-core is a user-facing interpreter that can type-check, -        transform and evaluate expressions.+        Disciple Core is an explicitly typed language based on System-F2, intended+        as an intermediate representation for a compiler. In addition to the features of +        System-F2 it supports region, effect and closure typing. Evaluation order is +        left-to-right call-by-value by default, but explicit lazy evaluation is also supported.+        There is also a capability system to track whether objects are mutable or constant,+        and to ensure that computations that perform visible side effects are not suspended with+        lazy evaluation.  Executable ddci-core   Build-depends: