search

GillianPlatform / Gillian

The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
73 stars 11 forks source link

Add `Delayed.branches` #296

Closed N1ark closed 2 months ago

N1ark commented 2 months ago

Allow branching without modifying the PC