Thank you Jonathan!
I will inspect! So far my first preoccupation is to get a flexible enough
Makefile, so I'm still stack on previous points. I've seen that FStar.Util
has most of what could be used in IO outside printing and basic file
management, so I guess there is not that much to extend
Hello Christian,
Responding more specifically to your KreMLin/Low* questions...
Most of the systems-level modeling in Low* is fairly primitive, as whatever
little there is was only designed to support the creation of minimal tests or
proof-of-concepts. As such, stdin was simply never added.
Hi Nik,
thank you for the kind and informative reply. I will see what to do.
So far I've joined the slack. For what I've seen so far, Discourse may work
as a good alternative, but I don't know exactly your requirements.
Discourse forums can be both public and private, have roles, be by invite,
Dear Christian,
Thanks for your interest in F*!
I respond to some of your questions quite broadly below. I’ll let others
respond further with more specifics.
-Nik
From: fstar-club On Behalf Of
Christian Nyumbayire via fstar-club
Sent: Wednesday, January 9, 2019 6:42 PM
To: