00:04
<
discocaml >
<Ada> people have weird habits
00:06
Tuplanolla has quit [Quit: Leaving.]
00:17
fweht has quit [Quit: Connection closed for inactivity]
00:23
<
discocaml >
<anmonteiro> You save building `cmo` / `cmt` / `cmx` for those modules
00:23
<
discocaml >
<anmonteiro> just need to build `cmi` / `cmti`
00:45
szkl has quit [Quit: Connection closed for inactivity]
01:01
<
companion_cube >
that sounds like a very tiny advantage tbh :)
01:01
rgrinberg has joined #ocaml
01:12
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
01:39
rgrinberg has joined #ocaml
02:07
<
discocaml >
<deepspacejohn> If you use dune then it seems like you’d probably never notice anyway
02:18
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
03:09
fweht has joined #ocaml
03:58
pi3ce has joined #ocaml
05:20
rgrinberg has joined #ocaml
05:32
waleee has quit [Ping timeout: 264 seconds]
05:33
trev has joined #ocaml
05:34
waleee has joined #ocaml
05:49
berberman has joined #ocaml
06:35
bartholin has joined #ocaml
06:54
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
06:55
rgrinberg has joined #ocaml
06:57
rgrinberg has quit [Client Quit]
06:58
rgrinberg has joined #ocaml
07:02
bartholin has quit [Quit: Leaving]
07:07
fweht has quit [Quit: Connection closed for inactivity]
07:28
Serpent7776 has joined #ocaml
07:44
azimut has quit [Ping timeout: 240 seconds]
07:56
waleee has quit [Ping timeout: 252 seconds]
07:58
<
discocaml >
<peuk> If I recall correctly, we had this in Frama-C prior to our migration to Dune because it was simpler for some aspects of our `Makefile` architecture 🤔
08:03
meritamen has joined #ocaml
08:15
alexherbo2 has joined #ocaml
08:59
trev has quit [Ping timeout: 252 seconds]
09:11
trev has joined #ocaml
09:41
mfranc has joined #ocaml
10:09
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
10:38
wingsorc has quit [Ping timeout: 264 seconds]
10:44
meritamen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
11:12
alexherbo2 has quit [Remote host closed the connection]
11:12
alexherbo2 has joined #ocaml
11:14
average has joined #ocaml
11:28
meritamen has joined #ocaml
13:29
neiluj has joined #ocaml
15:15
azimut has joined #ocaml
15:16
szkl has joined #ocaml
15:44
average has quit [Quit: Connection closed for inactivity]
15:57
meritamen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
15:59
omegatron has joined #ocaml
16:00
alexherbo2 has quit [Remote host closed the connection]
16:01
alexherbo2 has joined #ocaml
16:34
trillion_exabyte has quit [Ping timeout: 260 seconds]
16:51
neiluj has quit [Quit: neiluj]
16:54
average has joined #ocaml
16:57
alexherbo2 has quit [Remote host closed the connection]
17:22
Tuplanolla has joined #ocaml
17:32
bartholin has joined #ocaml
17:50
alexherbo2 has joined #ocaml
17:54
drobban is now known as MrBeam
17:54
MrBeam is now known as drobban
17:56
trillion_exabyte has joined #ocaml
18:17
neiluj has joined #ocaml
18:25
romildo has joined #ocaml
18:26
romildo has quit [Client Quit]
18:27
romildo has joined #ocaml
18:28
romildo has quit [Client Quit]
18:28
romildo has joined #ocaml
18:39
waleee has joined #ocaml
18:46
rgrinberg has joined #ocaml
18:49
<
discocaml >
<passerby> A bit off topic, but can you guys suggest a way to write the factorial function in "pure" lambda-calculus with Applicative Order and Call by Value strategies?
18:49
<
discocaml >
<Kali> #offtopic🎲
19:06
rgrinberg has quit [Read error: Connection reset by peer]
19:11
rgrinberg has joined #ocaml
19:19
<
discocaml >
<octachron> @passerby , the straightforward definition works fine with the Z combinator.
19:19
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
19:33
nickiminjaj has joined #ocaml
19:33
nickiminjaj has quit [Changing host]
19:33
nickiminjaj has joined #ocaml
19:34
nickiminjaj has quit [Client Quit]
19:34
<
waleee >
that was a homework / assignment question if I ever saw one
19:40
rgrinberg has joined #ocaml
19:48
azimut has quit [Remote host closed the connection]
19:49
azimut has joined #ocaml
20:08
trev has quit [Quit: trev]
20:08
romildo has quit [Quit: Leaving]
20:08
trev has joined #ocaml
20:12
azimut has quit [Ping timeout: 240 seconds]
20:31
trev has quit [Quit: trev]
20:44
waleee has quit [Ping timeout: 256 seconds]
20:46
wingsorc has joined #ocaml
20:50
azimut has joined #ocaml
20:51
czy has quit [Read error: Connection reset by peer]
20:53
czy has joined #ocaml
20:53
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
20:54
waleee has joined #ocaml
20:56
rgrinberg has joined #ocaml
21:09
ski has quit [Ping timeout: 260 seconds]
21:11
ski has joined #ocaml
21:19
Anarchos has joined #ocaml
21:19
neiluj has quit [Quit: neiluj]
21:23
Anarchos has quit [Ping timeout: 252 seconds]
21:35
azimut has quit [Remote host closed the connection]
21:35
azimut has joined #ocaml
22:00
rgrinberg has quit [Ping timeout: 268 seconds]
22:05
rgrinberg has joined #ocaml
22:17
Serpent7776 has quit [Ping timeout: 268 seconds]
22:23
cr1901 has quit [Read error: Connection reset by peer]
22:23
cr1901_ has joined #ocaml
22:35
discocaml_ has joined #ocaml
22:36
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
22:36
discocaml has quit [Ping timeout: 260 seconds]
22:37
deadmarshal_ has quit [Ping timeout: 245 seconds]
22:41
czy has quit [Read error: Connection reset by peer]
22:47
discocaml_ has quit [Remote host closed the connection]
22:48
discocaml has joined #ocaml
22:53
discocaml has quit [Remote host closed the connection]
22:53
energizer has quit [Ping timeout: 264 seconds]
22:53
justache has quit [Ping timeout: 264 seconds]
22:53
opus has quit [Ping timeout: 264 seconds]
22:59
cr1901_ is now known as cr1901
23:03
berberman has quit [*.net *.split]
23:03
motherfsck has quit [*.net *.split]
23:03
wagle has quit [*.net *.split]
23:03
mfranc has quit [*.net *.split]
23:03
Putonlalla has quit [*.net *.split]
23:03
ohperitel has quit [*.net *.split]
23:03
rwmjones_ has quit [*.net *.split]
23:03
process0 has quit [*.net *.split]
23:03
Johann has quit [*.net *.split]
23:03
leah2 has quit [*.net *.split]
23:03
bartholin has quit [*.net *.split]
23:03
bibi_ has quit [*.net *.split]
23:03
gdd has quit [*.net *.split]
23:03
terrorjack has quit [*.net *.split]
23:03
dme2 has quit [*.net *.split]
23:03
xgqt has quit [*.net *.split]
23:03
theblatte has quit [*.net *.split]
23:03
SquidDev has quit [*.net *.split]
23:03
palainp has quit [*.net *.split]
23:03
johnel has quit [*.net *.split]
23:03
mstevens has quit [*.net *.split]
23:03
Tuplanolla has quit [*.net *.split]
23:03
drakonis has quit [*.net *.split]
23:03
dinosaure has quit [*.net *.split]
23:03
GreaseMonkey has quit [*.net *.split]
23:03
Armael has quit [*.net *.split]
23:03
vsiles has quit [*.net *.split]
23:03
cbarrett has quit [*.net *.split]
23:03
omegatron has quit [*.net *.split]
23:03
ski has quit [*.net *.split]
23:03
wingsorc has quit [*.net *.split]
23:03
drobban has quit [*.net *.split]
23:03
Ella has quit [*.net *.split]
23:03
farn_ has quit [*.net *.split]
23:03
oisota has quit [*.net *.split]
23:03
conjunctive has quit [*.net *.split]
23:03
remexre has quit [*.net *.split]
23:03
Ekho has quit [*.net *.split]
23:03
troydm has quit [*.net *.split]
23:03
end has quit [*.net *.split]
23:03
emp has quit [*.net *.split]
23:03
grobe0ba has quit [*.net *.split]
23:03
caasih has quit [*.net *.split]
23:03
steenuil has quit [*.net *.split]
23:03
keyle has quit [*.net *.split]
23:03
thizanne has quit [*.net *.split]
23:03
copy_ has quit [*.net *.split]
23:03
pie_ has quit [*.net *.split]
23:03
pieguy128 has quit [*.net *.split]
23:03
slothby has quit [*.net *.split]
23:03
CalimeroTeknik has quit [*.net *.split]
23:03
Soni has quit [*.net *.split]
23:03
waleee has quit [*.net *.split]
23:03
Exa has quit [*.net *.split]
23:03
pippijn has quit [*.net *.split]
23:03
Leonidas has quit [*.net *.split]
23:03
habnabit_ has quit [*.net *.split]
23:03
mal`` has quit [*.net *.split]
23:03
companion_cube has quit [*.net *.split]
23:03
ocabot has quit [*.net *.split]
23:03
reynir has quit [*.net *.split]
23:03
lobo has quit [*.net *.split]
23:03
nfc has quit [*.net *.split]
23:03
ebb has quit [*.net *.split]
23:03
greenbagels has quit [*.net *.split]
23:03
ns12 has quit [*.net *.split]
23:03
azimut has quit [*.net *.split]
23:03
szkl has quit [*.net *.split]
23:03
rak has quit [*.net *.split]
23:03
Techcable has quit [*.net *.split]
23:03
m5zs7k has quit [*.net *.split]
23:03
hexology has quit [*.net *.split]
23:03
duncan has quit [*.net *.split]
23:03
nore has quit [*.net *.split]
23:03
leonardus has quit [*.net *.split]
23:03
Geekingfrog has quit [*.net *.split]
23:03
adrien has quit [*.net *.split]
23:03
dnaq has quit [*.net *.split]
23:03
famubu has quit [*.net *.split]
23:03
zozozo has quit [*.net *.split]
23:03
noddy has quit [*.net *.split]
23:03
jsoo has quit [*.net *.split]
23:03
rom1504 has quit [*.net *.split]
23:03
dstein64 has quit [*.net *.split]
23:03
JSharp has quit [*.net *.split]
23:03
Fardale has quit [*.net *.split]
23:03
welterde has quit [*.net *.split]
23:03
Duns_Scrotus___ has quit [*.net *.split]
23:03
trillion_exabyte has quit [*.net *.split]
23:03
chrisz has quit [*.net *.split]
23:03
a51 has quit [*.net *.split]
23:03
ansiwen has quit [*.net *.split]
23:03
kurfen has quit [*.net *.split]
23:03
gahr has quit [*.net *.split]
23:03
bcksl has quit [*.net *.split]
23:03
tomku has quit [*.net *.split]
23:03
octachron has quit [*.net *.split]
23:03
Boarders___ has quit [*.net *.split]
23:03
pgiarrusso has quit [*.net *.split]
23:03
Riviera has quit [*.net *.split]
23:03
lisq has quit [*.net *.split]
23:03
hannes has quit [*.net *.split]
23:03
xenu has quit [*.net *.split]
23:03
bacam has quit [*.net *.split]
23:03
landonf has quit [*.net *.split]
23:03
sadiq has quit [*.net *.split]
23:03
lthms has quit [*.net *.split]
23:03
micro has quit [*.net *.split]
23:03
dmbaturin has quit [*.net *.split]
23:03
haesbaert has quit [*.net *.split]
23:03
buoy49_ has quit [*.net *.split]
23:03
quernd80 has quit [*.net *.split]
23:03
alexherbo2 has quit [*.net *.split]
23:05
opus has joined #ocaml
23:05
justache- has joined #ocaml
23:05
discocaml has joined #ocaml
23:05
azimut has joined #ocaml
23:05
ski has joined #ocaml
23:05
rak has joined #ocaml
23:05
wingsorc has joined #ocaml
23:05
trillion_exabyte has joined #ocaml
23:05
emp has joined #ocaml
23:05
drobban has joined #ocaml
23:05
omegatron has joined #ocaml
23:05
szkl has joined #ocaml
23:05
dmbaturin has joined #ocaml
23:05
berberman has joined #ocaml
23:05
mfranc has joined #ocaml
23:05
energizer has joined #ocaml
23:05
Ella has joined #ocaml
23:05
dnaq has joined #ocaml
23:05
chrisz has joined #ocaml
23:05
gdd has joined #ocaml
23:05
dstein64 has joined #ocaml
23:05
pie_ has joined #ocaml
23:05
steenuil has joined #ocaml
23:05
a51 has joined #ocaml
23:05
wagle has joined #ocaml
23:05
waleee has joined #ocaml
23:05
micro has joined #ocaml
23:05
Techcable has joined #ocaml
23:05
m5zs7k has joined #ocaml
23:05
leah2 has joined #ocaml
23:05
rwmjones_ has joined #ocaml
23:05
Johann has joined #ocaml
23:05
process0 has joined #ocaml
23:05
ohperitel has joined #ocaml
23:05
Putonlalla has joined #ocaml
23:05
mstevens has joined #ocaml
23:05
SquidDev has joined #ocaml
23:05
johnel has joined #ocaml
23:05
palainp has joined #ocaml
23:05
theblatte has joined #ocaml
23:05
xgqt has joined #ocaml
23:05
terrorjack has joined #ocaml
23:05
ansiwen has joined #ocaml
23:05
lthms has joined #ocaml
23:05
dme2 has joined #ocaml
23:05
motherfsck has joined #ocaml
23:05
famubu has joined #ocaml
23:05
remexre has joined #ocaml
23:05
drakonis has joined #ocaml
23:05
hexology has joined #ocaml
23:05
duncan has joined #ocaml
23:05
zozozo has joined #ocaml
23:05
Leonidas has joined #ocaml
23:05
noddy has joined #ocaml
23:05
Ekho has joined #ocaml
23:05
kurfen has joined #ocaml
23:05
Exa has joined #ocaml
23:05
habnabit_ has joined #ocaml
23:05
mal`` has joined #ocaml
23:05
dinosaure has joined #ocaml
23:05
end has joined #ocaml
23:05
gahr has joined #ocaml
23:05
pieguy128 has joined #ocaml
23:05
troydm has joined #ocaml
23:05
pippijn has joined #ocaml
23:05
hannes has joined #ocaml
23:05
reynir has joined #ocaml
23:05
grobe0ba has joined #ocaml
23:05
bcksl has joined #ocaml
23:05
JSharp has joined #ocaml
23:05
GreaseMonkey has joined #ocaml
23:05
lobo has joined #ocaml
23:05
caasih has joined #ocaml
23:05
jsoo has joined #ocaml
23:05
Tuplanolla has joined #ocaml
23:05
slothby has joined #ocaml
23:05
ocabot has joined #ocaml
23:05
farn_ has joined #ocaml
23:05
alexherbo2 has joined #ocaml
23:05
companion_cube has joined #ocaml
23:05
bibi_ has joined #ocaml
23:05
keyle has joined #ocaml
23:05
greenbagels has joined #ocaml
23:05
Soni has joined #ocaml
23:05
ebb has joined #ocaml
23:05
nfc has joined #ocaml
23:05
cbarrett has joined #ocaml
23:05
Fardale has joined #ocaml
23:05
copy_ has joined #ocaml
23:05
conjunctive has joined #ocaml
23:05
tomku has joined #ocaml
23:05
vsiles has joined #ocaml
23:05
octachron has joined #ocaml
23:05
oisota has joined #ocaml
23:05
Armael has joined #ocaml
23:05
nore has joined #ocaml
23:05
CalimeroTeknik has joined #ocaml
23:05
thizanne has joined #ocaml
23:05
ns12 has joined #ocaml
23:05
Geekingfrog has joined #ocaml
23:05
adrien has joined #ocaml
23:05
bacam has joined #ocaml
23:05
rom1504 has joined #ocaml
23:05
xenu has joined #ocaml
23:05
Boarders___ has joined #ocaml
23:05
Duns_Scrotus___ has joined #ocaml
23:05
welterde has joined #ocaml
23:05
lisq has joined #ocaml
23:05
haesbaert has joined #ocaml
23:05
sadiq has joined #ocaml
23:05
pgiarrusso has joined #ocaml
23:05
leonardus has joined #ocaml
23:05
buoy49_ has joined #ocaml
23:05
Riviera has joined #ocaml
23:05
quernd80 has joined #ocaml
23:05
landonf has joined #ocaml
23:06
deadmarshal_ has joined #ocaml
23:06
cross has quit [Max SendQ exceeded]
23:07
cross has joined #ocaml
23:07
discocaml has quit [Read error: Connection reset by peer]
23:08
discocaml has joined #ocaml
23:17
rgrinberg has joined #ocaml