Implenting `val fn` and restoring more parallel examples

FStarLang / steel

The Steel separation logic library for F*

Apache License 2.0

24 stars 5 forks source link

Closed mtzguido closed 3 months ago

mtzguido commented 9 months ago

This requires an F* change that I will push soon as a PR

mtzguido commented 3 months ago

This was for Pulse.