patrick/FicroKanSharp
1
0
Fork 0
mirror of https://github.com/Smaug123/FicroKanSharp synced 2025-10-22 03:08:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update README

Browse Source
This commit is contained in:
Smaug123
2021-12-26 17:08:49 +00:00
parent d6b6ad915e
commit 1c140469bd
1 changed files with 11 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
README.md
View File

@@ -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.