search

FStarLang / pulse

The Pulse separation logic DSL for F*
Apache License 2.0
6 stars 7 forks source link

Pulse.Lib.Deque: use Box instead of plain refs #163

Closed mtzguido closed 3 months ago