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

Clean up Reductions #215

Closed NatKarmios closed 1 year ago

NatKarmios commented 1 year ago

The reduction functions are behemoths. We should refactor them similarly to how the debugger was refactored (#189), and perhaps add some comments for clarity.

NatKarmios commented 1 year ago

Duplicate of #162