corpus.blog
43,771 blogs · 5,563,491 posts Claim your blog
Record · corpus.blog/posts/01a0871e-c605-71b1-a377-2778240098be

Solving Advent of Code “Handy Haversacks” in Type-level Haskell

Abhinav Sarkar · published 4 January 2021

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 abhinavsarkar.net Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
30
Words captured
7,972

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://thinkingwithtypes.com/
thinkingwithtypes.com
https://sandymaguire.me/
sandymaguire.me
https://adventofcode.com/2020
adventofcode.com
https://www.haskell.org/
haskell.org
https://www.idris-lang.org/
idris-lang.org
https://adventofcode.com/2020/day/7
adventofcode.com
https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/data_kinds.html
downloads.haskell.org
https://wiki.haskell.org/Peano_numbers
wiki.haskell.org
Basic Type Level Programming in Haskell Read at the source ↗
parsonsmatt.org
https://hackage.haskell.org/package/base-4.14.1.0/docs/GHC-TypeLits.html
hackage.haskell.org
https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/type_families.html
downloads.haskell.org
https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/type_operators.html
downloads.haskell.org
https://hackage.haskell.org/package/symbols-0.3.0.0
hackage.haskell.org
https://hackage.haskell.org/package/symbols-0.3.0.0/docs/Data-Symbol-Ascii.html
hackage.haskell.org
https://hackage.haskell.org/package/base-4.14.1.0/docs/Prelude.html
hackage.haskell.org
https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/instances.html
downloads.haskell.org
https://hackage.haskell.org/package/base-4.9.1.0/docs/GHC-TypeLits.html
hackage.haskell.org
https://hackage.haskell.org/package/base-4.14.1.0/docs/Data-Proxy.html
hackage.haskell.org
https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/type_applications.html
downloads.haskell.org
http://hackage.haskell.org/package/servant
hackage.haskell.org
https://hackage.haskell.org/package/row-types
hackage.haskell.org
https://hackage.haskell.org/package/polysemy
hackage.haskell.org
https://hackage.haskell.org/package/type-of-html
hackage.haskell.org
https://hackage.haskell.org/package/sized
hackage.haskell.org
https://hackage.haskell.org/package/dimensions
hackage.haskell.org
https://wiki.haskell.org/GHC/Type_families
wiki.haskell.org
https://kcsongor.github.io
kcsongor.github.io
Parsing type-level strings in Haskell Read at the source ↗
kcsongor.github.io
https://lobste.rs/s/jqc3zv
lobste.rs
https://www.reddit.com/r/adventofcode/comments/1c5mzv4/
reddit.com
Elsewhere on abhinavsarkar.net (5)