Merge pull request #2152 from effectfully/effectfully/refactoring/mov…

…e-gadts-to-notes [Refac] Moved a GADTs doc under 'notes'
IntersectMBO · Jul 9, 2020 · 7729ac0 · 7729ac0
2 parents 7133da5 + 88beabc
commit 7729ac0
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/docs/fomega/gadts/Expr.agda → notes/fomega/gadts/Expr.agda b/docs/fomega/gadts/Expr.agda → notes/fomega/gadts/Expr.agda
diff --git a/docs/fomega/gadts/ScottVec.agda → notes/fomega/gadts/ScottVec.agda b/docs/fomega/gadts/ScottVec.agda → notes/fomega/gadts/ScottVec.agda