From 1c140469bdcee678a00c3c2b29c8758acf42cf6d Mon Sep 17 00:00:00 2001 From: Smaug123 Date: Sun, 26 Dec 2021 17:08:49 +0000 Subject: [PATCH] Update README --- README.md | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/README.md b/README.md index dd1b699..c5ed138 100644 --- a/README.md +++ b/README.md @@ -2,6 +2,17 @@ A microKanren implementation in F#. +# Structure + +There is a tiny untyped core, true to the spirit of the original. +Extensions are implemented on top of this. + +## Extensions + +* A couple of reifiers: `Stream.peel` itself is a trivial "tell me everything" reifier, but the usual one is `Reify.withRespectToFirst`, which assumes you want the first variable and substitutes all other variables in it. +* A typed term and goal language, which is aware of F# unions, but is not yet as expressive as I would like. + + # Development tips There are pull request checks on this repo, enforcing [Fantomas](https://github.com/fsprojects/fantomas/)-compliant formatting.