126 awesome Haskell accounts on Mastodon.
Haskell
alecs
@[email protected]PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs
Last posted
2 weeks ago
Posts
▼ 8
Followers
13
Following
45
mdrslmr
@[email protected]Interested in physics, science, software e.g. haskell, ...
Last posted
1 week ago
Posts
▼ 7
Followers
2
Following
9
Tim McGilchrist
@[email protected]Providing thought leadership since 1801. OCaml and Haskell programmer. Co-Organiser of FP-SYD.
Last posted
7 months ago
Posts
▼ 5
Followers
13
Following
18
Emilio J. Gallego Arias
@[email protected]Researcher. ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean
Last posted
6 months ago
Posts
▼ 5
Followers
14
Following
38
Gleb Krasilich
@[email protected]Graduate (master degree) mathematics student at HSE University (Moscow). Mathematical logic, type theory, and computer science. Haskell Developer at Moscow Center for Continuous Mathematical Education. Opinions are my own.
Last posted
2 months ago
Posts
▼ 3
Followers
12
Following
66
rinaldo
@[email protected]Student F# and Haskell
Last posted
1 month ago
Posts
▼ 2
Followers
0
Following
8