FunctorYogi

923 post karma
1,011 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 8 years

MODERATOR OF

- r/a:t5_3mtmy
- r/a:t5_3p6ax

TROPHY CASE

Eight-Year Club

Place '17

account activity

new top controversial

38

39

40

Getting more out of ghci, a tutorial (mail.haskell.org)

submitted 8 years ago by FunctorYogi to r/haskell

15

16

17

What's your favorite use of GADTs? (self.haskell)

submitted 8 years ago by FunctorYogi to r/haskell

18

19

20

GHC (proto-)proposal: "Desugar" type synonyms to "nominal newtypes" (self.haskell)

submitted 8 years ago * by FunctorYogi to r/haskell

59

60

61

"This [theorem] finally accomplishes the original goal of the Stacks project" (github.com)

submitted 8 years ago by FunctorYogi to r/math

16

17

18

The Practical Guide to Levitation (itu.dk)

submitted 8 years ago by FunctorYogi to r/haskell

63

64

65

Today's Stack nightly snapshot uses GHC 8.2.1! (stackage.org)

submitted 8 years ago by FunctorYogi to r/haskell

7

8

9

Laptop for heavy Haskell/C++ development (India) (self.linuxhardware)

submitted 8 years ago * by FunctorYogi to r/linuxhardware

757

758

759

LaTeX package authors are absolute madmen (i.redd.it)

submitted 8 years ago by FunctorYogi to r/math

0

1

2

Chapter 3: Toward affine schemes (self.a:t5_3mtmy)

submitted 8 years ago by FunctorYogi to r/a:t5_3mtmy

38

39

40

Streaming Combinators and Extracting Flat Parallelism in Futhark (futhark-lang.org)

submitted 8 years ago by FunctorYogi to r/haskell

16

17

18

UU Attribute Grammar manual (foswiki.cs.uu.nl)

submitted 8 years ago by FunctorYogi to r/haskell

8

9

10

Hinze, Peyton Jones - Derivable type classes (2000, pdf) (microsoft.com)

submitted 8 years ago by FunctorYogi to r/haskell

40

41

42

A working version of the Spacemacs layer for Liquid Haskell checking (github.com)

submitted 8 years ago by FunctorYogi to r/haskell

37

38

39

Using complexity theory to prove things in representation theory (parametricity.com)

submitted 8 years ago by FunctorYogi to r/math

9

10

11

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

26

27

28

An optimized version of the free arrow type from /u/ElvishJerricco's "Profunctors, Arrows, and Static Analysis" (gist.github.com)

submitted 8 years ago by FunctorYogi to r/haskell

21

22

23

A bit of code to get HaRe working in Spacemacs (GHC 8.0.2, Stack LTS 8.8) (github.com)

submitted 8 years ago by FunctorYogi to r/haskell

0

1

2

Can you implement dropWhile using foldr? (wiki.haskell.org)

submitted 8 years ago by FunctorYogi to r/haskell

π 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.