FStarLang/FStar Issues
Incorrect OCaml extraction
UpdatedConfusing behavior with refinements
Updated 1Some scoping failures
Closedstrict_on_args on recursive function
Updated 1Antiquotations broken badly
Updatednix: bootstrap is broken
Updated 1Failure of tactic in --lax
Updated 1