wikku

Very long lines in markdown

9

In many markdown files we have very long lines which makes diffs huge and editing the sources harder. The possibility of merge conflicts is also higher. I think we should...

Inconsistent usage of `==` and `=` equality in docs

8

While reading the docs for [Data.Set](http://hackage.haskell.org/package/containers-0.6.3.1/docs/Data-Set.html#v:powerSet), I noticed that in some places `==` is used and in some `=` is used. For example, the docs for `powerSet`: > Calculate the...

Values of existential type are printed <poly>

6

The `` here: ``` type t = E : 'a -> t;; E ();; - : t = E ``` is certainly not a polymorphic value and is a different...

Scheduler name collisions

1

Currently there are three concepts we call *schedulers*: * a hardware module which has an input signal representing a set of requests and an output signal representing which request is...

Variable confusion/ill typed terms with higher-order terms

9

Script: ``` Kind expr type. Type mu ((expr -> expr) -> expr) -> expr. Define foo : expr -> expr -> prop by foo (mu k\ E k) (mu k_\...