From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 20 Jan 2018 06:22:54 +0000 (-0700)
Subject: update README
X-Git-Tag: v0.8.110~611
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=03c96d45b377eace702825afefe89e24829881a2;p=scryer-prolog.git

update README
---

diff --git a/README.md b/README.md
index 14529d93..91194b12 100644
--- a/README.md
+++ b/README.md
@@ -19,7 +19,7 @@ Extend rusty-wam to include the following, among other features:
 * ISO Prolog compliant throw/catch (_done_).
 * Built-in and user-defined operators of all fixities, with custom
   associativity and precedence (_done_). 
-* Bignum, rational number and floating point arithmetic (_in progress_).
+* Bignum, rational number and floating point arithmetic (_done_).
 * Built-in control operators (`,`, `;`, `->`, etc.) (_in progress_).
 * Built-in predicates for list processing and top-level declarative
   control (`setup_call_control/3`, `call_with_inference_limit/3`,