rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

correct README

Browse Source
This commit is contained in:
Mark Thom
2018-08-29 00:16:12 -06:00
parent 03b76c65ba
commit d1f4ead15c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -32,7 +32,7 @@ Extend rusty-wam to include the following, among other features:
etc.) (_done_)
* Default representation of strings as list of chars, using a packed
internal representation (_done_).
- Implement a representation of 'partial strings' as difference lists
- A representation of 'partial strings' as difference lists
of characters (_in progress_).
* `term_expansion/2` and `goal_expansion/2` (_in progress_).
* Definite Clause Grammars.