Cactus

http://gergo.erdi.hu/

top accounts reputation activity subscriptions

Multiple assignments to the same register in an RTL block with Kansas Lava

haskell vhdl lava asked Dec 22, 2012 at 10:49

stackoverflow.com

38 votes

Arrows are exactly equivalent to applicative functors?

haskell applicative arrows category-theory asked Jul 10, 2014 at 4:06

stackoverflow.com

35 votes

Useful operations on free arrows

generics haskell arrows asked Aug 17, 2012 at 7:11

stackoverflow.com

30 votes

Beamer vs. TikZ: uncover nodes step-by-step

tikz-pgf beamer overlays asked Jan 16, 2011 at 21:16

tex.stackexchange.com

27 votes

Using local packages

elm asked Jan 23, 2015 at 13:17

stackoverflow.com

26 votes

Disabling middle click on bottom of a clickpad / touchpad

x11 mouse touchpad thinkpad xinput asked Apr 19, 2018 at 12:42

unix.stackexchange.com

25 votes

Details of video memory access arbitration in Space Invaders

memory 8080 arcade asked Jun 24, 2019 at 13:35

retrocomputing.stackexchange.com

22 votes

Intel 8080-based home computers

8080 8-bit-microcomputers asked Jul 16, 2019 at 7:44

retrocomputing.stackexchange.com

22 votes

Finding out which metas are unsolved in an Agda program

type-inference agda elaboration asked Apr 21, 2012 at 3:21

stackoverflow.com

22 votes

@Parcelize in multi-platform project

android kotlin parcelable kotlin-android-extensions kotlin-multiplatform asked Jul 14, 2018 at 5:27

stackoverflow.com

Top Answers

How to use (->) instances of Monad and confusion about (->)

stackoverflow.com

What does the GHC source mean by "zonk"?

stackoverflow.com

Checking for empty list in Haskell: Is (length list == 0) or (list == []) more efficient?

stackoverflow.com

@Parcelize in multi-platform project

stackoverflow.com

What is the difference between recursive and recursively enumerable languages

stackoverflow.com

Retrocausality in Haskell: From Tardis to RevState

stackoverflow.com

Is there a way to chain functions like withCString?

stackoverflow.com

Pattern matching Data.Sequence like lists

stackoverflow.com

What is the etymology of <*> from Applicative in Haskell?

stackoverflow.com

What is the code that the BASIC ROM puts in the zero page, at address $00C2?

retrocomputing.stackexchange.com

how does liftM (:[]) work

stackoverflow.com

Parsing function in haskell

stackoverflow.com

Why does Haskell point free version of function result in ambiguous type error?

stackoverflow.com

Haskell slower than Python in naïve integer factorization?

stackoverflow.com

Arrows are exactly equivalent to applicative functors?

stackoverflow.com

Pattern Match(es) are Overlapped - Pattern matching on Operators

stackoverflow.com

How do you write rewrite rules for typeclass methods?

stackoverflow.com

Intel 8080-based home computers

retrocomputing.stackexchange.com

Is there a Codensity MonadPlus that asymptotically optimizes a sequence of MonadPlus operations?

stackoverflow.com

How to delete btrfs subvolumes with <FS_TREE> in their name

unix.stackexchange.com

recursive datatypes in haskell

stackoverflow.com

lift Either to ExceptT automatically

stackoverflow.com

ScopedTypeVariables doesn't bring type variables into scope

stackoverflow.com

Checking all values in a list have a specific constructor

stackoverflow.com

Why is Identity monad useful?

stackoverflow.com

Useful instantiations of “fix” on non-function types?

stackoverflow.com

Data type for only lowercase chars

stackoverflow.com

Constraining Data Types

stackoverflow.com

Trying to apply CPS to an interpreter

stackoverflow.com

How did the Epyx Fast Load cart work with a Commdore 64?

retrocomputing.stackexchange.com