wacki has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
cage has joined #commonlisp
mesuutt has joined #commonlisp
mesuutt has quit [Ping timeout: 268 seconds]
<alcor>
My CL is a bit rusty and I need a quick reminder for something: If I'm not mistaken, then form (AND (LISTP X) (NOT (NULL X))) could be expressed in a much simpler way – what was it? I remember there was a predicate that was equivalent to it.
<yitzi>
consp?
<alcor>
yitzi: D'oh, thanks a bunch! No idea why I couldn't remember it.
green_ has joined #commonlisp
aciep has joined #commonlisp
NotThatRPG has joined #commonlisp
<bjorkintosh>
alcor, because (alcor_rustp 'cl) returns T
<bjorkintosh>
very simple :-)
<alcor>
bjorkintosh: lol 🤣
trannus_aran has quit [Quit: Client closed]
<alcor>
#commonlisp is really helpful for this. I tried a web search before asking, but search engines are (recently?) really bad with these kinds of questions.
<yitzi>
alcor: if the function/macro is fairly trivial then the implementation is often in the notes section. https://novaspec.org/cl/f_listp
<ixelp>
listp | Common Lisp Nova Spec
<yitzi>
Just FYI
<alcor>
Thanks, looking at the function index on novaspec would've also helped, I think.
wacki has joined #commonlisp
<pkal>
Does novaspec add any content or is it just a cleaner frontend?
mm007emko has quit [Read error: Connection reset by peer]
mm007emko has joined #commonlisp
<edgar-rft>
AFAIK novaspec was made from the dpans dvi files with no additional content
<edgar-rft>
in case of doubt ask gilberth, he wrote the converter
jweek has quit [Quit: Client closed]
<semarie>
novaspec has a very good readability
<edgar-rft>
CLHS was made at a time when the web was browsed on 80x25 character terminals :-)
bitspook has quit [Remote host closed the connection]
bitspook has joined #commonlisp
bitspook has quit [Remote host closed the connection]
bitspook has joined #commonlisp
mesuutt has joined #commonlisp
chiselfuse has quit [Remote host closed the connection]
chiselfuse has joined #commonlisp
aciep has quit [Ping timeout: 252 seconds]
mesuutt has quit [Ping timeout: 272 seconds]
akoana has joined #commonlisp
pfdietz has joined #commonlisp
st_aldini1 has joined #commonlisp
st_aldini has quit [Ping timeout: 255 seconds]
st_aldini1 is now known as st_aldini
wacki has quit [Read error: Connection reset by peer]
rainthree has quit [Ping timeout: 268 seconds]
wacki has joined #commonlisp
X-Scale61 has joined #commonlisp
X-Scale has quit [Ping timeout: 250 seconds]
ldb has joined #commonlisp
Guest38 has joined #commonlisp
<Guest38>
Hi
Guest38 has quit [Client Quit]
Guest38 has joined #commonlisp
Guest38 has quit [Client Quit]
X-Scale61 has quit [Quit: Client closed]
mesuutt has joined #commonlisp
ocra8 has quit [Quit: WeeChat 4.2.2]
aciep has joined #commonlisp
mesuutt has quit [Ping timeout: 255 seconds]
mesuutt has joined #commonlisp
cosimone has joined #commonlisp
louis77 has joined #commonlisp
mesuutt has quit [Ping timeout: 252 seconds]
X-Scale has joined #commonlisp
shka has joined #commonlisp
ldb has quit [Ping timeout: 268 seconds]
clock_ has joined #commonlisp
_cymew_ has joined #commonlisp
amb007 has quit [Read error: Connection reset by peer]
amb007 has joined #commonlisp
lxsameer has joined #commonlisp
clock_ has quit [Quit: Leaving]
clock` has joined #commonlisp
Pixel_Outlaw has joined #commonlisp
pve has quit [Quit: leaving]
bitspook has quit [Ping timeout: 250 seconds]
pfdietz has quit [Quit: Client closed]
bitspook has joined #commonlisp
bitspook has quit [Ping timeout: 250 seconds]
mesuutt has joined #commonlisp
lxsameer has quit [Ping timeout: 272 seconds]
remexre has quit [Remote host closed the connection]
remexre has joined #commonlisp
mesuutt has quit [Ping timeout: 252 seconds]
cmack has joined #commonlisp
clock` has quit [Ping timeout: 268 seconds]
bitspook has joined #commonlisp
makomo has quit [Quit: WeeChat 4.2.2]
makomo has joined #commonlisp
shka has quit [Ping timeout: 260 seconds]
waleee has joined #commonlisp
bitspook has quit [Ping timeout: 250 seconds]
cage has quit [Remote host closed the connection]
cosimone has quit [Remote host closed the connection]
makomo has quit [Ping timeout: 256 seconds]
Pixel_Outlaw has quit [Remote host closed the connection]
rgherdt__ is now known as rgherdt
makomo has joined #commonlisp
theruran has joined #commonlisp
dlowe has quit [Ping timeout: 256 seconds]
bitspook has joined #commonlisp
bitspook has quit [Ping timeout: 250 seconds]
tok has quit [Remote host closed the connection]
mesuutt has joined #commonlisp
aciep has quit [Ping timeout: 255 seconds]
bitspook has joined #commonlisp
mesuutt has quit [Ping timeout: 264 seconds]
bitspook has quit [Ping timeout: 250 seconds]
NotThatRPG has quit [Ping timeout: 260 seconds]
wacki has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
mesuutt has joined #commonlisp
jonatack has quit [Ping timeout: 256 seconds]
mesuutt has quit [Ping timeout: 260 seconds]
bitspook has joined #commonlisp
X-Scale has quit [Ping timeout: 250 seconds]
bitspook has quit [Ping timeout: 250 seconds]
amb007 has quit [Ping timeout: 268 seconds]
amb007 has joined #commonlisp
raynei has quit [Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)]
easye_ has joined #commonlisp
easye_ has quit [Remote host closed the connection]
mesuutt has joined #commonlisp
_cymew_ has quit [Ping timeout: 268 seconds]
easye__ has joined #commonlisp
mesuutt has quit [Ping timeout: 255 seconds]
easye__ has quit [Ping timeout: 260 seconds]
bitspook has joined #commonlisp
bitspook has quit [Ping timeout: 250 seconds]
amb007 has quit [Ping timeout: 256 seconds]
jonatack has joined #commonlisp
jonatack has quit [Ping timeout: 255 seconds]
alcor has quit [Ping timeout: 240 seconds]
green_ has quit [Ping timeout: 256 seconds]
yitzi has quit [Remote host closed the connection]
zaymington has joined #commonlisp
X-Scale has joined #commonlisp
overclucker_ has joined #commonlisp
overclucker has quit [Read error: Connection reset by peer]
dino_tutter has quit [Ping timeout: 268 seconds]
ymir has joined #commonlisp
akoana has quit [Quit: leaving]
louis77 has quit [Remote host closed the connection]
louis77 has joined #commonlisp
louis77 has quit [Changing host]
louis77 has joined #commonlisp
jonatack has joined #commonlisp
amb007 has joined #commonlisp
amb007 has quit [Read error: Connection reset by peer]
amb007 has joined #commonlisp
jonatack has quit [Ping timeout: 272 seconds]
mesuutt has joined #commonlisp
White_Flame has quit [Ping timeout: 255 seconds]
White_Flame has joined #commonlisp
mesuutt has quit [Ping timeout: 272 seconds]
jweek has joined #commonlisp
brokkoli_origina has joined #commonlisp
brokkoli_origin has quit [Ping timeout: 256 seconds]
rgherdt has quit [Quit: Leaving]
amb007 has quit [Ping timeout: 268 seconds]
NotThatRPG has joined #commonlisp
NotThatRPG has quit [Client Quit]
NotThatRPG has joined #commonlisp
rainthree has joined #commonlisp
waleee has quit [Ping timeout: 268 seconds]
louis77 has quit [Remote host closed the connection]