logo FEDIDEVS

FEDIDEVS

2 awesome Haskell projects on Mastodon that posted recently.

Project Recently posted haskell Haskell
Header Image

s='hello;'
echo "${s//;/\;}"

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0

time matters when it pays off
> git.sr.ht/~carnotweat/modshell
, bits of

Last posted ▼ Less than a day ago
Posts 7,806
Followers 570
Following 159
Header Image
Haskell Weekly
@[email protected]

Articles, projects and tutorials about .

Weekly newsletter: discu.eu/weekly/haskell

Last posted ▼ 1 day ago
Posts 1,890
Followers 1,537
Following 21