All pull requests

Pull requests

• Foldable-Traversable hierarchy

  #97·exaexa opened Oct 20, 2026Collaborator·2/2·

  ·
  1

• WIP: Add tokens to lexical syntax

  feature: language report
  #82·BinderDavid opened Oct 9, 2026Collaborator·

  ·

• Add specification for Data.Bool, Data.Either and Data.Maybe

  feature: standard librariesprocess: vote-in-progess
  #81·BinderDavid opened Oct 7, 2026Collaborator·

  ·
  8

• add Applicative and MonadFail to monad hierarchy

  feature: language reportfeature: standard libraries
  #79·exaexa opened Oct 3, 2026Collaborator·1/2·

  ·
  1

  13

• Drop superclasses of Num

  feature: language reportfeature: standard libraries
  #78·exaexa opened Oct 3, 2026Collaborator·

  ·
  1

  3

• Remove encouragement to support Haskell 98 specific extensions

  feature: language report
  #75·BinderDavid opened Sep 22, 2026Collaborator·

  ·
  12

• Rewrite pattern section to introduce failable and failure-free patterns.

  feature: language report
  #74·BinderDavid opened Sep 21, 2026Collaborator·

  ·
  1

  1

• Remove PreludeIO, PreludeList and PreludeText from stdlib/*

  feature: standard librariesprocess: vote-in-progess
  #47·BinderDavid opened Aug 25, 2026Collaborator·

  ·
  17

• Use graphviz for typeclass hierarchy diagram

  output: htmloutput: pdf
  #45·Superstar64 opened Aug 23, 2026Collaborator·

  ·
  9

• Restore Data.Array specification

  feature: standard librariesprocess: vote-in-progess
  #40·BinderDavid opened Aug 18, 2026Collaborator·

  ·
  10

• Move documentation of derived instances of Ix

  feature: language reportfeature: standard librariesprocess: vote-in-progess
  #39·BinderDavid opened Aug 17, 2026Collaborator·

  ·
  1

  24

• Introduce proper pattern binding terminology

  feature: language report
  #37·Superstar64 opened Aug 15, 2026Collaborator·

  ·
  2

• Replace * by Type in the syntax of kinds

  feature: language report
  #30·BinderDavid opened Aug 10, 2026Collaborator·

  ·
  1

  13