No description, website, or topics provided.
Branch: master
Clone or download
jfmc nl/{0,1} not reexported from 'write', import 'streams' when needed
 - Removes the reexport of nl/{0,1} from library(write)
 - Update affected code by importing the predicates from
   library(streams) (if not done before)
 - Using library(streams) instead of engine(io_basic)+engine(stream):
    - when both modules where already imported
    - for user code and examples where there is no reason to
      use very fine grained dependencies

Src-commit: 662b698a70aa57ce654d49a160486ce76e7c0d41
Latest commit 98704f7 Sep 3, 2018
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Manifest Public snapshot for 2f853171c88da92dcd5c69a556d3419fae42efea Dec 23, 2016
doc
lib/provrml nl/{0,1} not reexported from 'write', import 'streams' when needed Dec 9, 2018
LGPL Public snapshot for 2f853171c88da92dcd5c69a556d3419fae42efea Dec 23, 2016