the_drow has quit [Write error: Connection reset by peer]
jboi has quit [Write error: Connection reset by peer]
jevinskie[m] has quit [Read error: Connection reset by peer]
jboi has joined #hpy
jevinskie[m] has joined #hpy
the_drow has joined #hpy
antocuni has quit [*.net *.split]
antocuni_ has joined #hpy
marvin_ has quit [Remote host closed the connection]
marvin_ has joined #hpy
ronan__ has joined #hpy
ronan has quit [Ping timeout: 268 seconds]
<the_drow> Which header containers the public API?
<the_drow> I'd like to try to run https://github.com/rust-lang/rust-bindgen on it
ronan__ is now known as ronan
<arigato> the_drow: you know about https://github.com/pyhandle/rust-hpy, right?
antocuni_ is now known as antocuni
<antocuni> the_drow: hpy/devel/include/hpy.h
<antocuni> you probably want to pass -DHPY_UNIVERSAL_ABI though
_whitelogger has joined #hpy