Back to david's feed
馃攧Functional Programmingghc.serokell.io

Dependent Types: Current Status by Serokell GHC Team (opens in new tab)

Covered by聽3聽sources See all sources covering this story聽including聽Tweag, Exploring Better WaysDiscussed on Hacker News
Sign in to keep reading the full article.
Sign UpLog In

Covered in 3 articles

Tweag路

Writing static checks to an unsuspecting library with Liquid Haskell

Discussed on Hacker News
Feeds
Exploring Better Ways路

Type-checked non-empty strings

Discussed on Hacker News
Feeds
Serokell Blog路

How Serokell Contributes to the Future of Haskell

Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help