Open cpitclaudel opened 7 years ago
Forked off #56, partly implemented as https://github.com/FStarLang/FStar/pull/940 ; ideally agda-style case splits, but as a first step just destructing on a type name would be nice (cc @kyoDralliam)
Forked off #56, partly implemented as https://github.com/FStarLang/FStar/pull/940 ; ideally agda-style case splits, but as a first step just destructing on a type name would be nice (cc @kyoDralliam)