From 03c96d45b377eace702825afefe89e24829881a2 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 19 Jan 2018 23:22:54 -0700 Subject: [PATCH] update README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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`, -- 2.54.0