more rust - Githubissues

GillianPlatform / Gillian

The Gillian Platform main repository

https://GillianPlatform.github.io

BSD 3-Clause "New" or "Revised" License

73 stars 11 forks source link

more rust #299

Closed giltho closed 2 months ago

giltho commented 2 months ago

Some printing and slightly more reduction of list
tmi-ing some verbose stuff