matijapretnar/eff

Issues

• The threads example in on-line eff does not work.

  #87 opened 2 years ago by andrejbauer
  2

• Generating plain OCaml code / Benchmarking

  #86 opened 2 years ago by marzipankaiser
  6

• Effects Are Missing from Types

  #85 opened 2 years ago by lambduli
  1

• #type command not working

  #84 opened 2 years ago by lambduli
  1

• Grammars for articulating effects, for state machines with strongly typed transitions

  #82 opened 3 years ago by pygy
  2

• JSON database implementation and conversions

  #79 opened 3 years ago by Shady-Morsi
  3

• Incorrect display of lists in online version

  #55 opened 4 years ago by matijapretnar
  2

• Exception handler semantics regarding multi-shot

  #72 opened 4 years ago by complyue
  6

• To imitate algebraic effects with an procedural, interpreted language

  #71 opened 4 years ago by complyue
  11

• Broken online tutorial

  #66 opened 6 years ago by fghibellini
  1

• Proxy assoc functions to OCaml stdlib?

  #59 opened 6 years ago by tekknolagi
  1

• Loaded code and code displayed are different?

  #58 opened 6 years ago by spavikevik
  2

• return a list from external.ml

  #57 opened 7 years ago by alkubaig
  12

• Question about algebraic handler

  #53 opened 7 years ago by MarisaKirisame
  4

• Location annotations in SugaredSyntax

  #50 opened 7 years ago by matijapretnar
  0

• Problem with the let binding.

  #47 opened 7 years ago by zigaLuksic
  1

• Typo in error message

  #44 opened 7 years ago by ohad
  0

• Probability example is broken

  #43 opened 7 years ago by ohad
  1

• Using Char

  #41 opened 7 years ago by alkubaig
  4

• Eff compilation error

  #40 opened 7 years ago by alkubaig
  4

• Make syntax compatible with Multicore OCaml

  #34 opened 7 years ago by matijapretnar
  5

• A list of Eff versions

  #30 opened 7 years ago by matijapretnar
  0

• Online toplevel

  #29 opened 7 years ago by matijapretnar
  2

• file system

  #37 opened 7 years ago by alkubaig
  17

• Pre defined types and effects

  #36 opened 7 years ago by alkubaig
  2

• What is the syntax for returning a tuple

  #35 opened 7 years ago by alkubaig
  2

• missing tutorial style like updated introduction

  #13 opened 7 years ago by v217
  3

• Running examples/*.eff

  #22 opened 7 years ago by ngzhian
  6

• Incorrect type inference for = ?

  #16 opened 7 years ago by ineol
  5

• Simple type system

  #28 opened 7 years ago by matijapretnar
  1

• Occurs check needed

  #11 opened 7 years ago by yallop
  3

• Add resources for built-in effects

  #26 opened 7 years ago by matijapretnar
  0

• Compile error when installing with OPAM

  #25 opened 7 years ago by walkie
  2

• Effect Handlers in OCaml

  #20 opened 7 years ago by bluddy
  1

• Are there any ffi/plan on adding ffi?

  #21 opened 8 years ago by MarisaKirisame
  4

• dead handlers-tutorial.pdf link on home page

  #19 opened 9 years ago by yeshark
  1

• how to get dev environment setup?

  #14 opened 9 years ago by lancejpollard
  4

• Does not compile on OS X

  #17 opened 9 years ago by andrejbauer
  2

• Eff 3.0 hangs on handlers which handle invalid operations

  #10 opened 12 years ago by andrejbauer
  1