Skip to content

Update README.md with scheme implementation bug notes. - #16

Open
rich-1170 wants to merge 1 commit into
the-little-prover:masterfrom
rich-1170:patch-1
Open

Update README.md with scheme implementation bug notes.#16
rich-1170 wants to merge 1 commit into
the-little-prover:masterfrom
rich-1170:patch-1

Conversation

@rich-1170

Copy link
Copy Markdown

Both MIT/GNU Scheme and Gambit Scheme seem to have bugs that make it impossible to run j-bob.

I spent a lot of time trying to figure out what was going wrong.

It might be a good idea to add these notes to the README.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant