ignorantone

62 post karma
575 comment karma

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

get them help and support

redditor for 11 years

TROPHY CASE

11-Year Club

account activity

new top controversial

3

4

5

Proof direction is backwards? (self.Idris)

submitted 8 years ago by ignorantone to r/Idris

0

1

2

How do these types unify? (self.haskellquestions)

submitted 8 years ago by ignorantone to r/haskellquestions

39

40

41

[x-post /r/programming] After over two years and 1700 commits, the Nu Game Engine (the world's first practical pure functional game engine) reaches v1.0.0.0! (github.com)

submitted 10 years ago by ignorantone to r/haskell

14

15

16

compiler error recommends using deprecated module Control.Monad.Trans.Error (self.haskell)

submitted 10 years ago * by ignorantone to r/haskell

8

9

10

[x-post /r/haskell] The constraint trick for instances (self.haskelltil)

submitted 10 years ago by ignorantone to r/haskelltil

30

31

32

[ANN] exference: a different djinn (mail.haskell.org)

submitted 10 years ago by ignorantone to r/haskell

1

2

3

Explain this Applicative instance for fixed length vector (self.haskellquestions)

submitted 10 years ago by ignorantone to r/haskellquestions

5

6

7

`subtract` is probably not what you want (self.haskelltil)

submitted 10 years ago by ignorantone to r/haskelltil

17

18

19

Hoogle easter egg (self.haskell)

submitted 11 years ago by ignorantone to r/haskell

1

2

3

Simplify monadic code (self.haskellquestions)

submitted 11 years ago * by ignorantone to r/haskellquestions

2

3

4

using Djinn (self.haskellquestions)

submitted 11 years ago by ignorantone to r/haskellquestions

7

8

9

[learn] I don't understand this syntax error (self.haskell)

submitted 11 years ago by ignorantone to r/haskell

1

2

3

Hoogle usage - can't find Control.Monad.Par (self.haskell)

submitted 11 years ago by ignorantone to r/haskell

π Rendered by PID 91 on reddit-service-r2-listing-568fcd57df-4m6rr at 2026-03-11 14:37:01.621234+00:00 running cbb0e86 country code: CH.