gitextract_nx1wz071/

├── .gitignore
├── ChangeLog.md
├── LICENSE
├── NOTES.md
├── README.md
├── Setup.hs
├── app/
│   └── Main.hs
├── cabal.project
├── package.yaml
├── sprite.cabal
├── sprite.cabal.orig
├── src/
│   └── Language/
│       └── Sprite/
│           ├── Common/
│           │   ├── Misc.hs
│           │   ├── Parse.hs
│           │   └── UX.hs
│           ├── Common.hs
│           ├── L1/
│           │   ├── Check.hs
│           │   ├── Constraints.hs
│           │   ├── Parse.hs
│           │   ├── Prims.hs
│           │   └── Types.hs
│           ├── L1.hs
│           ├── L2/
│           │   ├── Check.hs
│           │   ├── Constraints.hs
│           │   ├── Parse.hs
│           │   ├── Prims.hs
│           │   └── Types.hs
│           ├── L2.hs
│           ├── L3/
│           │   ├── Check.hs
│           │   ├── Constraints.hs
│           │   ├── Parse.hs
│           │   ├── Prims.hs
│           │   └── Types.hs
│           ├── L3.hs
│           ├── L4/
│           │   ├── Check.hs
│           │   ├── Constraints.hs
│           │   ├── Elaborate.hs
│           │   ├── Parse.hs
│           │   ├── Prims.hs
│           │   └── Types.hs
│           ├── L4.hs
│           ├── L5/
│           │   ├── Check.hs
│           │   ├── Constraints.hs
│           │   ├── Elaborate.hs
│           │   ├── Parse.hs
│           │   ├── Prims.hs
│           │   └── Types.hs
│           ├── L5.hs
│           ├── L6/
│           │   ├── Check.hs
│           │   ├── Constraints.hs
│           │   ├── Elaborate.hs
│           │   ├── Parse.hs
│           │   ├── Prims.hs
│           │   └── Types.hs
│           ├── L6.hs
│           ├── L8/
│           │   ├── Check.hs
│           │   ├── Constraints.hs
│           │   ├── Elaborate.hs
│           │   ├── Parse.hs
│           │   ├── Prims.hs
│           │   ├── Reflect.hs
│           │   └── Types.hs
│           └── L8.hs
├── stack.yaml
├── stack.yaml.github
└── test/
    ├── L1/
    │   ├── neg/
    │   │   ├── inc00.re
    │   │   ├── inc01.re
    │   │   ├── inc02.re
    │   │   └── int01.re
    │   └── pos/
    │       ├── inc00.re
    │       ├── inc01.re
    │       ├── inc02.re
    │       ├── int00.re
    │       └── int01.re
    ├── L2/
    │   ├── neg/
    │   │   ├── abs00.re
    │   │   ├── abs01.re
    │   │   ├── cmp00.re
    │   │   ├── cmp01.re
    │   │   └── sum00.re
    │   └── pos/
    │       ├── abs00.re
    │       ├── abs01.re
    │       ├── cmp00.re
    │       ├── cmp01.re
    │       └── sum00.re
    ├── L3/
    │   ├── neg/
    │   │   ├── abs01.re
    │   │   ├── abs02-bad.re
    │   │   ├── abs02.re
    │   │   ├── assert00.re
    │   │   ├── rebind.re
    │   │   └── sum01.re
    │   └── pos/
    │       ├── abs01.re
    │       ├── abs02-debug.re
    │       ├── abs02.re
    │       ├── assert00.re
    │       └── sum01.re
    ├── L4/
    │   ├── neg/
    │   │   ├── choose00.re
    │   │   ├── choose01.re
    │   │   ├── foldn00.re
    │   │   ├── foldn01.re
    │   │   └── id00.re
    │   └── pos/
    │       ├── choose00.re
    │       ├── choose01.re
    │       ├── foldn00.re
    │       ├── foldn01.re
    │       └── id00.re
    ├── L5/
    │   ├── neg/
    │   │   ├── append00.re
    │   │   ├── cons00.re
    │   │   ├── head00.re
    │   │   ├── head01.re
    │   │   ├── isort00.re
    │   │   ├── isort01.re
    │   │   ├── listSet.re
    │   │   ├── nil00.re
    │   │   ├── olist00.re
    │   │   ├── olist01.re
    │   │   ├── olist02.re
    │   │   ├── single00.re
    │   │   ├── tail01.re
    │   │   └── tuple00.re
    │   └── pos/
    │       ├── append00.re
    │       ├── cons00.re
    │       ├── fold_right00.re
    │       ├── head00.re
    │       ├── head01.re
    │       ├── isort00.re
    │       ├── isort01.re
    │       ├── listSet.re
    │       ├── nil00.re
    │       ├── olist00.re
    │       ├── olist01.re
    │       ├── olist02.re
    │       ├── single00.re
    │       ├── tail01.re
    │       └── tuple00.re
    ├── L6/
    │   ├── neg/
    │   │   ├── deptup00.re
    │   │   ├── isort02.re
    │   │   ├── maxint1.re
    │   │   ├── maxint2.re
    │   │   ├── maxlist.re
    │   │   ├── maxlist00_1.re
    │   │   ├── maxlist00_2.re
    │   │   └── maxlist01.re
    │   └── pos/
    │       ├── apply00.re
    │       ├── deptup00.re
    │       ├── deptup000.re
    │       ├── deptup001.re
    │       ├── deptup002.re
    │       ├── deptup002a.re
    │       ├── deptup003.re
    │       ├── deptup01.re
    │       ├── isort02.re
    │       ├── maxint.re
    │       ├── maxlist00.re
    │       ├── maxlist01.re
    │       ├── maxpoly.re
    │       └── plaintup00.re
    ├── L7/
    │   ├── neg/
    │   │   ├── ack.re
    │   │   ├── list00.re
    │   │   ├── listSet.re
    │   │   ├── range.re
    │   │   ├── sum.re
    │   │   └── sumAcc.re
    │   └── pos/
    │       ├── ack.re
    │       ├── append.re
    │       ├── braid.re
    │       ├── listSet.re
    │       ├── range.re
    │       ├── sum.re
    │       ├── sumAcc.re
    │       └── sumNat.re
    ├── L8/
    │   ├── neg/
    │   │   ├── append.re
    │   │   ├── listSet.re
    │   │   └── sum.re
    │   └── pos/
    │       ├── adttup00.re
    │       ├── append.re
    │       ├── listSet.re
    │       ├── poly.re
    │       └── sum.re
    ├── Spec.hs
    └── logs/
        └── cur/
            └── summary.csv