removing unused notes

dktr0 · Sep 22, 2018 · fad4e15 · fad4e15
1 parent d81e5a9
commit fad4e15
Showing 1 changed file with 0 additions and 157 deletions.
diff --git a/Estuary/Types/Notation.hs b/Estuary/Types/Notation.hs