Skip to content

Update src/Data/Heyting.hs

Emily Pillmore requested to merge wip/lattices into main

Fix my typo: it's Heyting, not Heytig

Co-authored-by: Emily Pillmore emilypi@cohomolo.gy

Merge request reports