https://github.com/philzook58/singleberg

Haskell singleton playground
https://github.com/philzook58/singleberg

Last synced: 8 months ago
JSON representation

Haskell singleton playground

• Host: GitHub
• URL: https://github.com/philzook58/singleberg
• Owner: philzook58
• License: bsd-3-clause
• Created: 2019-04-02T16:39:19.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-06-20T22:07:55.000Z (over 6 years ago)
• Last Synced: 2025-01-08T15:34:48.465Z (9 months ago)
• Language: Haskell
• Size: 18.6 KB
• Stars: 1
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# singleberg

Repo for tinkering with singletons

http://hackage.haskell.org/package/singletons

https://blog.jle.im/entry/introduction-to-singletons-1.html

https://blog.jle.im/entry/fixed-length-vector-types-in-haskell.html

https://github.com/RyanGlScott/ghc-software-foundations

http://hackage.haskell.org/package/type-combinators

http://hackage.haskell.org/package/singleton-nats

http://hackage.haskell.org/package/eliminators# singleberg