search

GillianPlatform / Gillian

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

entirely remove traces of hides and exact #249

Closed giltho closed 1 year ago

giltho commented 1 year ago

Good job, looks good to me

Oh thank you