[zem]

do you have any uses in mind for F*? i went through the tutorial a while ago, and it looked very nice, but i couldn't think of anything i wanted/needed to use it for.

[magnumkarter]

Eventually I would like to write a C Compiler with it