issues Search Results · repo:the-little-prover/j-bob language:Scheme
Filter by
9 results
(77 ms)9 results
inthe-little-prover/j-bob (press backspace or delete to remove)When i install dracula package by raco, it tells me that it needs to install dependency planet-schematics-random1, then
it log cannot open module file \n module path: test-engine/scheme-gui, like this: ...
- Salted-Fish-Swimming
- 2
- Opened on Mar 10, 2023
- #15
Hello! I ve started reading The Little Prover and I installed ACL2 for the first time. I get errors about books not
being certified when I try to follow the instructions in the README though. I am wondering ...
- lukego
- 2
- Opened on Mar 9, 2021
- #12
is it for to make the implementation simple [about error handling] ? or it is essential to the implementation of j-bob ?
- xieyuheng
- Opened on May 1, 2018
- #9
It took me a while to get up and running with J-Bob using the Dracula package. In particular:
1. I didn t realize that I had to install ACL2 separately.
2. I couldn t get J-Bob to load by typing commands ...
- lorin
- 2
- Opened on Oct 22, 2017
- #8
I was going through the Recess section on J-Bob, starting on page 164, when I noticed that some of the Scheme examples
in little-prover.scm give incorrect results when run in MITScheme/DrRacket, but their ...
- ghost
- 2
- Opened on May 11, 2016
- #6
I was wondering if there s a way to use DrRacket + Dracula integration to use J-Bob as an interactive assistant. There s
seems to be a panel to the right that indicates it could show me the state of the ...
- davidgrenier
- Opened on Nov 13, 2015
- #5
With guile, I get
% guile
GNU Guile 2.0.11
Copyright (C) 1995-2014 Free Software Foundation, Inc.
Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w .
This program is free software, and ...
- UnkindPartition
- 2
- Opened on Aug 31, 2015
- #4
hi Carl
it is about the scheme version of j-bob
in j-bob.scm I see you are using (load j-bob-lang.scm )
and in little-prover.scm you are using (load j-bob.scm )
and in README.md you said
;; Load the ...
- xieyuheng
- 5
- Opened on Aug 12, 2015
- #2
Under the R5RS language in DrRacket, I get the error:
define-values: assignment disallowed;
cannot change constant
constant: car
which presumably means that car can t be redefined.
What version of ...
- Engelberg
- 7
- Opened on Aug 12, 2015
- #1
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Restrict your search to the title by using the in:title qualifier.Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Restrict your search to the title by using the in:title qualifier.