Our great sponsors
-
The website https://learnyouahaskell.com/ is down. Does anyone know what's happening with it?. Fortunately, it's mirrored at archive.org.
-
Did you try https://hackage.haskell.org/package/haskell-stack-trace-plugin ? Or https://github.com/aaronallen8455/graph-trace ? :)
-
Mergify
Tired of breaking your main and manually rebasing outdated pull requests?. Managing outdated pull requests is time-consuming. Mergify's Merge Queue automates your pull request management & merging. It's fully integrated to GitHub & coordinated with any CI. Start focusing on code. Try Mergify for free.
-
Anyone using https://github.com/tweag/inline-js for anything interesting?
-
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Yes, PL is where Haskell is relatively popular. Although if I would have to pick one language that dominates in PL research then I would say it is Coq, but perhaps Haskell is the second or third most popular language in PL research.
Related posts
- Why Mathematical Proof Is a Social Compact
- Functional Programming in Coq
- Mark Petruska has requested 250000 Algos for the development of a Coq-avm library for AVM version 8
- How are people like Andrew Wiles and Grigori Perelman able to work on popular problems for years without others/the research community discovering the same breakthroughs? Is it just luck?
- Where does it all start!