chenglou changed the topic of #reasonml to: https://reasonml.github.io. Channel logs at https://irclog.whitequark.org/reasonml. Discord: https://discord.gg/reasonml
maattdd_ has joined #reasonml
maattdd_ has quit [Ping timeout: 256 seconds]
kapil___ has joined #reasonml
brandly has joined #reasonml
brandly has quit [Ping timeout: 240 seconds]
mrkgnao has joined #reasonml
mrkgnao has quit [Ping timeout: 268 seconds]
xkapastel has quit [Quit: Connection closed for inactivity]
kapil___ has quit [Quit: Connection closed for inactivity]
kapil___ has joined #reasonml
<reynir> what do you mean, Sargun?
<Sargun> reynir: I want to analyze a program for totality (halting). Is there a way for me to programmatically walk an AST and verify there are no recursive functions?
<reynir> Ah
<reynir> Maybe try ask in #ocaml :)
kapil___ has quit [Quit: Connection closed for inactivity]
kapil___ has joined #reasonml
reynir has quit [Quit: WeeChat 2.0.1]
reynir has joined #reasonml
reynir has quit [Client Quit]
reynir has joined #reasonml
reynir has quit [Client Quit]
reynir has joined #reasonml
reynir has quit [Quit: WeeChat 2.0.1]
reynir has joined #reasonml
reynir has quit [Quit: WeeChat 2.0.1]
reynir has joined #reasonml
mrkgnao has joined #reasonml
xkapastel has joined #reasonml
ojtua has quit [Ping timeout: 276 seconds]
maattdd_ has joined #reasonml
maattdd_ has quit [Ping timeout: 264 seconds]
kapil___ has quit [Quit: Connection closed for inactivity]
kapil___ has joined #reasonml
mrkgnao has quit [Ping timeout: 256 seconds]
`slikts has quit [Remote host closed the connection]
nomicflux has joined #reasonml
kapil___ has quit [Quit: Connection closed for inactivity]
nomicflux has quit [Quit: nomicflux]
kapil___ has joined #reasonml
ojtua has joined #reasonml
nomicflux has joined #reasonml