Record · haskellforall.com
The hard part of type-checking Nix
Haskell for all · 24 min read
A post on haskellforall.com is cited by 1 distinct blog to date (corpus.blog, measured 12 October 2026).
A record is what was published and who pointed at it. The text of the post is not shown here: read it at the source, or at its Wayback capture.
1blog citing
| Period | Blogs | Links |
|---|---|---|
| All time | 1 | 1 |
| Last 90 days | 0 | 0 |
| Last 30 days | 0 | 0 |
| Last 7 days | 0 | 0 |
| First cited | 3 Apr 2026 |
|---|---|
| Latest citation | 3 Apr 2026 |
| Words blogs link it with | 1 |
| External links | 7 |
| Length | 5,356 |
Words blogs link it with
The words blogs link this page with, by how many different blogs use them.
- the hard part of type-checking nix1 blog
Cited by 1 blog in 1 post
One row per blog, the most recently citing first. Each shows the blog's newest citing post; open a row for the others.
Blog
Newest citing post
Date
johns.codes1 post
Making a Type Checker/LSP for Nix
linked as “The hard part of type-checking Nix”
Read at johns.codes (opens in a new tab)3 Apr 2026
Links from this post
Link
Host
en.wikipedia.org
hgiasac.github.io
https://ckoster22.medium.com/advanced-types-in-elm-extensible-records-67e9d804030d Who cites this page
ckoster22.medium.com
github.com
Elsewhere on haskellforall.com (2)
Something wrong here? Report a problem