search

GillianPlatform / Gillian

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

add a vanish function to Delayed, use carefully #231

Closed giltho closed 1 year ago

giltho commented 1 year ago

@NatKarmios Imma self review that one if that's ok with you hahahaha