41554 blogs · 4,756,248 posts Claim your blog

Record · corpus.blog/posts/01a087c6-1aa9-73f7-8ded-7a3dde25ae9b

Using dependent types in Haskell with singletons

poberezkin.com · published undated

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at poberezkin.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 8
Words captured: 822

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://en.wikipedia.org/wiki/Dependent_type

en.wikipedia.org

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

hackage.haskell.org

https://github.com/epoberezkin/poberezkin.com/tree/master/dot/singletons1.gv

github.com

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

blog.jle.im

https://downloads.haskell.org/ghc/8.10.1/docs/html/users_guide/glasgow_exts.html

downloads.haskell.org

https://github.com/epoberezkin/poberezkin.com/tree/master/dot/singletons2.gv

github.com

https://richarde.dev/

richarde.dev

https://twitter.com/intent/tweet?via=epoberezkin&text=Using%20dependent%20types%20in%20Haskell%20with%20singletons&hashtags=haskell%2Ccoding&original_referer=https%3A%2F%2Fwww.poberezkin.com%2Fposts%2F2020-05-17-using-dependent-types-haskell-singletons.html&url=https%3A%2F%2Fwww.poberezkin.com%2Fposts%2F2020-05-17-using-dependent-types-haskell-singletons.html

twitter.com