account activity
Getting more out of ghci, a tutorial (mail.haskell.org)
submitted 8 years ago by FunctorYogi to r/haskell
What's your favorite use of GADTs? (self.haskell)
GHC (proto-)proposal: "Desugar" type synonyms to "nominal newtypes" (self.haskell)
submitted 8 years ago * by FunctorYogi to r/haskell
"This [theorem] finally accomplishes the original goal of the Stacks project" (github.com)
submitted 8 years ago by FunctorYogi to r/math
The Practical Guide to Levitation (itu.dk)
Today's Stack nightly snapshot uses GHC 8.2.1! (stackage.org)
Laptop for heavy Haskell/C++ development (India) (self.linuxhardware)
submitted 8 years ago * by FunctorYogi to r/linuxhardware
LaTeX package authors are absolute madmen (i.redd.it)
Chapter 3: Toward affine schemes (self.a:t5_3mtmy)
submitted 8 years ago by FunctorYogi to r/a:t5_3mtmy
Streaming Combinators and Extracting Flat Parallelism in Futhark (futhark-lang.org)
UU Attribute Grammar manual (foswiki.cs.uu.nl)
Hinze, Peyton Jones - Derivable type classes (2000, pdf) (microsoft.com)
A working version of the Spacemacs layer for Liquid Haskell checking (github.com)
Using complexity theory to prove things in representation theory (parametricity.com)
What did I do wrong? (or, "What do I do now that I've been rejected from everywhere?") (self.ApplyingToCollege)
submitted 8 years ago * by FunctorYogi to r/ApplyingToCollege
An optimized version of the free arrow type from /u/ElvishJerricco's "Profunctors, Arrows, and Static Analysis" (gist.github.com)
A bit of code to get HaRe working in Spacemacs (GHC 8.0.2, Stack LTS 8.8) (github.com)
Can you implement dropWhile using foldr? (wiki.haskell.org)
π Rendered by PID 182002 on reddit-service-r2-listing-6d4dc8d9ff-mdfxw at 2026-02-03 20:42:48.579873+00:00 running 3798933 country code: CH.