From: notoria <notoria@users.noreply.github.com>
Date: Wed, 29 Apr 2020 21:48:07 +0000 (+0200)
Subject: Merge pull request #4 from triska/mediants
X-Git-Tag: v0.8.123~92^2^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=490d008edfcc5c817c60ccdd007c05d8a081db67;p=scryer-prolog.git

Merge pull request #4 from triska/mediants

include library(arithmetic) in the overview
---

490d008edfcc5c817c60ccdd007c05d8a081db67