Directory listing for singletons-0.10.0 source tarball
singletons-0.10.0/
- CHANGES.md
- LICENSE
- README.md
- Setup.hs
- singletons.cabal
- src/
- tests/
- SingletonsTestSuite.hs
- SingletonsTestSuiteUtils.hs
- compile-and-dump/
- buildGoldenFiles.awk
- GradingClient/
- InsertionSort/
- Promote/
- Singletons/
- AtPattern.ghc76.template
- AtPattern.ghc78.template
- AtPattern.hs
- BadPlus.ghc76.template
- BadPlus.ghc78.template
- BadPlus.hs
- BoxUnBox.ghc76.template
- BoxUnBox.ghc78.template
- BoxUnBox.hs
- Contains.ghc76.template
- Contains.ghc78.template
- Contains.hs
- DataValues.ghc76.template
- DataValues.ghc78.template
- DataValues.hs
- Empty.ghc76.template
- Empty.ghc78.template
- Empty.hs
- EqInstances.ghc76.template
- EqInstances.ghc78.template
- EqInstances.hs
- HigherOrder.ghc76.template
- HigherOrder.ghc78.template
- HigherOrder.hs
- Maybe.ghc76.template
- Maybe.ghc78.template
- Maybe.hs
- Nat.ghc76.template
- Nat.ghc78.template
- Nat.hs
- Operators.ghc76.template
- Operators.ghc78.template
- Operators.hs
- Star.ghc76.template
- Star.ghc78.template
- Star.hs