Weird is becoming Askmi. Your account, choices, circles, and history stay exactly where they are.

Web Content

Add something from the web Paste a URL and Weird will route it into the right native section.
Back to Web Content
Serokell’s Work on GHC: Dependent Types, Part 5
Web Content

Serokell’s Work on GHC: Dependent Types, Part 5

Interesting · serokell.io · generic

This article continues the fine tradition of Serokell's GHC team sharing their progress on bringing dependent types to Haskell. A lot has happened since the last report, and there is plenty to cover. In this edition, Vladislav Zavialov presents three major contributions and a host of smaller improvements that push Dependent Haskell closer to becoming a practical reality.

TypeWeb Page
Domainserokell.io
Providergeneric
Recommend it?
Open in Weird Source

Taste signal

CommunityNo votes yet
Total ratings0
Your signalNot rated

No high-context match details yet. As more Taste Twins rate this, this section will show who aligns with your taste here.

Useful info

We have the community taste signal, but richer practical fields for this item are not populated yet.

Open source

More like this

Anthropic says these topics are too dangerous to let its Fable 5 model talk about - Ars TechnicaInteresting thousands of drones reimagine taipei’s skyline as an urban canvasInteresting 8 Songs You Didn't Know Were Written By Willie NelsonInteresting Your Cat Can Bring Home More Disease Than You Think. Here's What to Do. : ScienceAlertInteresting They have floating gas stations in the middle of the water to fill up your boats tank.Interesting Oil droplets remodel themselves, swallow their surroundings like living cellsInteresting

Tips and insights

Create a profile to add tips or personal takes.
Sign up Log in
No tips yet. Add the first useful note for this item.