<companion_cube>
Cool story indeed. Let's revisit when discord enshittifies because of VC pressure, shall we!
<discocaml>
<Kali> real funny joke
<discocaml>
<Kali> just like email is obselete
<src>
there a way to autostart utop with vi edit mode
<src>
#edit_mode_vi
average has quit [Quit: Connection closed for inactivity]
<src>
I thought a simple bash alias could do but apaprently I can't pass utop some # directives when starting it other than typing them?
<discocaml>
<darrenldl> i did not even realise utop has vi mode
<discocaml>
<darrenldl> have an idea though to your question, let me try it real quick...
<discocaml>
<darrenldl> ah nvm, scratch my idea
average has joined #ocaml
<discocaml>
<inkbottle.> In https://softwarefoundations.cis.upenn.edu/current/lf-current/Basics.html, then re-define `bool` (`Inductive bool : Type := True | false.`), and a few line below, they use that very same `bool` in some `if .. then .. else` statement. But they didn't define `if .. then .. else` on that `bool` type. How come `coq` accepts that?
hsw__ has joined #ocaml
hsw_ has quit [Ping timeout: 240 seconds]
<discocaml>
<inkbottle.> (I removed the question because it was actually answered just below, sorry for the noise)
<discocaml>
<inkbottle.> It was nice when the libera matrix bridge was working
hsw__ has quit [Quit: Leaving]
chrisz has quit [Ping timeout: 255 seconds]
chrisz has joined #ocaml
<discocaml>
<hockletock> you can add `#edit_mode_vi` to ~/.config/utop/init.ml @src
average has quit [Quit: Connection closed for inactivity]
average has joined #ocaml
jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]
waleee has quit [Ping timeout: 240 seconds]
waleee has joined #ocaml
waleee has quit [Ping timeout: 272 seconds]
waleee has joined #ocaml
Tuplanolla has joined #ocaml
waleee has quit [Ping timeout: 252 seconds]
average has quit [Quit: Connection closed for inactivity]
mro has quit [Quit: Leaving]
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
John_Ivan_ has joined #ocaml
John_Ivan has quit [Read error: Connection reset by peer]
delyan_ has quit [Ping timeout: 252 seconds]
amk has quit [Read error: Connection reset by peer]
amk has joined #ocaml
pgiarrusso has quit [Read error: Connection reset by peer]
pgiarrusso has joined #ocaml
leonardus has quit [Ping timeout: 252 seconds]
ebb has quit [Remote host closed the connection]
Ekho has quit [Remote host closed the connection]
emp_ has joined #ocaml
ebb has joined #ocaml
delyan_ has joined #ocaml
emp has quit [Ping timeout: 258 seconds]
Ekho has joined #ocaml
leonardus has joined #ocaml
azimut has joined #ocaml
wingsorc has joined #ocaml
bartholin has joined #ocaml
<discocaml>
<Max Korp (Frisk)> I feel like even a cursory look at what the bot is saying would allow you to infer "what this bot is doing".
<companion_cube>
I'm almost sure the answer is "no", but just in case: there's no way to dynamically check whether a value is an instance of a class, is there?
average has joined #ocaml
waleee has joined #ocaml
dnh has joined #ocaml
<octachron>
companion_cube, well there is "let ok (x: #c ) = true", but that's not exactly useful.
<companion_cube>
heh, yeah, no :)
<companion_cube>
but I think I don't need it in the end
waleee has quit [Ping timeout: 255 seconds]
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
waleee has joined #ocaml
waleee has quit [Ping timeout: 260 seconds]
waleee has joined #ocaml
Serpent7776 has quit [Ping timeout: 255 seconds]
landonf has quit [Ping timeout: 272 seconds]
landonf has joined #ocaml
dnh has joined #ocaml
average has quit [Quit: Connection closed for inactivity]
waleee has quit [Ping timeout: 258 seconds]
alphacentauri has quit [Quit: WeeChat 4.0.5]
bartholin has quit [Quit: Leaving]
waleee has joined #ocaml
<discocaml>
<rland> Well it was clear they we messages, but I wasn't sure where they were coming from or why.
<discocaml>
<rland> Well it was clear they were messages from people, but I wasn't sure where they were coming from or why.
waleee has quit [Ping timeout: 260 seconds]
waleee has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]