attila_lendvai_ has quit [Ping timeout: 256 seconds]
<lisp123>
are there many program verifiers written in lisp?
<lisp123>
or is a domain of ML-inspired languages
<Josh_2>
I can verify my lisp programs work
<Josh_2>
They are guaranteed to crash, thats how I know they work :sunglasses:
<ldb>
I can do term rewriting in head
<ldb>
so I do not spend twice of the program size on induction theorems
<hayley>
lisp123: ACL2, nqthm
<ldb>
NuPRL5 is using SBCL, but it is not open source program
<ldb>
NuPRL3 is avaliable from CMU AI Repository
<hayley>
ML itself was originally a Lisp program, I hear. And Bobrow did his thesis on a program verifier written in Lisp, though verifying ALGOL programs.
<ldb>
which includes the ML interpreter written in lisp that was also used by LCF
ttree has quit [Read error: Connection reset by peer]
gxt_ has joined #commonlisp
ebrasca has joined #commonlisp
ebrasca has quit [Remote host closed the connection]
ebrasca has joined #commonlisp
ebrasca has quit [Remote host closed the connection]
_cymew_ has joined #commonlisp
aartaka has quit [Ping timeout: 268 seconds]
aartaka has joined #commonlisp
shka has joined #commonlisp
aeroplane has joined #commonlisp
cosimone has joined #commonlisp
Krystof has joined #commonlisp
anticomputer has quit [Ping timeout: 255 seconds]
anticomputer has joined #commonlisp
aartaka has quit [Ping timeout: 265 seconds]
aartaka has joined #commonlisp
pve has joined #commonlisp
nij- has joined #commonlisp
rgherdt has joined #commonlisp
aartaka has quit [Ping timeout: 260 seconds]
Lord_of_Life has quit [Ping timeout: 256 seconds]
Lord_of_Life has joined #commonlisp
thuna` has joined #commonlisp
bilegeek has quit [Quit: Leaving]
easye has quit [Remote host closed the connection]
easye has joined #commonlisp
shka has quit [Ping timeout: 246 seconds]
aartaka has joined #commonlisp
_cymew_ has quit [Ping timeout: 252 seconds]
Inline has joined #commonlisp
aartaka has quit [Ping timeout: 246 seconds]
aartaka has joined #commonlisp
nij- has quit [Ping timeout: 252 seconds]
aartaka has quit [Ping timeout: 252 seconds]
random-jellyfish has joined #commonlisp
<random-jellyfish>
hello, newbie here, when I get an error and it stops in the debugger with the "1. (RESTART-TOPLEVEL) Go back to Top-Level REPL." how do I actualky restart back to toplevel?
<beach>
Probably by typing 1 followed by RETURN.
<beach>
It depends on the debugger, so it is not standardized.
<random-jellyfish>
1 followed return returns the value 1
<random-jellyfish>
I'm using ecl
<beach>
Ah!
<beach>
And not SLIME?
<random-jellyfish>
I started it with rlwrap ecl
<beach>
Oh!
<random-jellyfish>
yes
<beach>
Then you might have to wait for jackdaniel to answer, or read the ECL manual.
<random-jellyfish>
I'm a train, on the phone in termux, trying to learn some common lisp to pass the time
<random-jellyfish>
on a train*
<beach>
Yes, good idea.
<random-jellyfish>
ecl is the only implementation that works in termux
<random-jellyfish>
another question, I installed cl-generator with ql:quickload, how do I actually use what's inside that package? because it doesn't seem to load automatically
aartaka has joined #commonlisp
<beach>
Each time you start up your Lisp implementation, you need to do another QUICKLOAD.
<beach>
... or use ASDF:LOAD-SYSTEM.
<random-jellyfish>
okay, and after the quickload, do I have to do anything else to "load" the package and get access to the symbols inside of it?
<beach>
Quicklisp does not arrange for its systems to be automatically loaded into your Lisp image when you start a new one.
<beach>
The symbols are then accessible with package:symbol.
<beach>
The exported symbols from some package in the system, I mean.
<random-jellyfish>
is there any way to access them directly without the package: prefix?
<beach>
Yes....
<beach>
But it can be a bit risky, because you can then run into conflicting symbols in other packages.
<beach>
The typical workflow is you define an ASDF system that :DEPENDS-ON the system (not package) you QUICKLOAD. Then in your system you have a package definition for you own package.
<beach>
That package definition may contain a :USE option for the package(s) in the system you QUICKLOAD. But again, it's a bit risky.
<beach>
Personally, I :USE only the COMMON-LISP package as a general rule. And I use package prefixes for other packages.
aartaka has quit [Ping timeout: 268 seconds]
aartaka has joined #commonlisp
<beach>
Also, you may want to visit #clschool. This channel is not really meant for newbie questions, though they are tolerated to some extent.
<random-jellyfish>
okay will do that, thanks
<beach>
Sure.
aartaka has quit [Ping timeout: 246 seconds]
<random-jellyfish>
in ECL you have to type :rN where n is the restart number in order to invoke a restart
anticomputer has quit [Ping timeout: 255 seconds]
anticomputer_ has joined #commonlisp
aartaka has joined #commonlisp
<jackdaniel>
that's true. debugger is not very specified to leave some wiggling area for implementors
<jackdaniel>
and there are hooks to use a custom debugger
random-jellyfish has quit [Ping timeout: 260 seconds]
random-jellyfish has joined #commonlisp
attila_lendvai_ has joined #commonlisp
lispm has joined #commonlisp
random-jellyfish has quit [Quit: Ping timeout (120 seconds)]
random-jellyfish has joined #commonlisp
lisp123 has joined #commonlisp
random-jellyfish has quit [Quit: Client closed]
attila_lendvai_ has quit [Ping timeout: 256 seconds]
random-jellyfish has joined #commonlisp
random-jellyfish has quit [Client Quit]
random-nick has joined #commonlisp
jmdaemon has quit [Ping timeout: 260 seconds]
lispm has quit [Quit: Client closed]
anticomputer_ has quit [Ping timeout: 255 seconds]
gxt_ has quit [Ping timeout: 255 seconds]
ec_ has quit [Ping timeout: 255 seconds]
anticomputer has joined #commonlisp
gxt_ has joined #commonlisp
lisp123 has quit [Ping timeout: 256 seconds]
ec_ has joined #commonlisp
causal has joined #commonlisp
varjag has joined #commonlisp
aartaka has quit [Ping timeout: 256 seconds]
aartaka has joined #commonlisp
tyson2 has joined #commonlisp
aartaka has quit [Ping timeout: 246 seconds]
aartaka has joined #commonlisp
Inline_ has joined #commonlisp
jeffrey has joined #commonlisp
Inline has quit [Ping timeout: 246 seconds]
varjag has quit [Ping timeout: 248 seconds]
aartaka has quit [Ping timeout: 256 seconds]
aartaka has joined #commonlisp
gxt_ has quit [Remote host closed the connection]
gxt_ has joined #commonlisp
tevo has quit [Ping timeout: 255 seconds]
anticomputer has quit [Remote host closed the connection]
anticomputer has joined #commonlisp
morganw has joined #commonlisp
lottaquestions has quit [Remote host closed the connection]