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

Update manual.wisl #271

Closed z5146542 closed 9 months ago

z5146542 commented 9 months ago

Fixed minor typos in the lab demos (ensures the wisl files parse without errors).

NatKarmios commented 9 months ago

Assimilated into #272