Comment on F*: A general-purpose proof-oriented programming languageparentComments−rurban1moIn gdb? It's a shame gdb picked python
Comments
In gdb? It's a shame gdb picked python