this post was submitted on 04 Dec 2023
3 points (100.0% liked)

Haskell

6 readers
1 users here now

**The Haskell programming language community.** Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more... ### Links - Get Started with Haskell

founded 2 years ago
3
Haskell Interlude 38: Edwin Brady (haskell.foundation)
submitted 1 year ago by [email protected] to c/[email protected]
3 comments fedilink hide all child comments
 

Andres and Wouter interview Edwin Brady, most famous for his work on the Idris programming language. We talk about how he got interested in programming with dependent types, his thoughts on dependently typed programming in Haskell, and his vision for Idris.

you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 1 points 1 year ago

@jaror

main = do putStrLn (cycle "buffalo " ++ !getLine)