Skip to content

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
Issue origami icon

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 Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue origami icon

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 Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.