gasche
Follow
gasche
Follow
Popular repositories
-
-
-
-
-
-
icfp2013-papers Public
List of ICFP'13 accepted papers, with links to preprint or additional information when available
867 contributions in the last year
Less
More
Activity overview
Contributed to
ocaml/ocaml,
ocaml-multicore/ocaml-multicore,
ocaml-batteries-team/batteries-included
and 5 other
repositories
Contribution activity
January 2022
Created 2 commits in 1 repository
Created 1 repository
- gasche/ocaml-cohttp OCaml
Created a pull request in mirage/ocaml-cohttp that received 33 comments
Opened 1 other pull request in 1 repository
c-cube/qcheck
1
open
Reviewed 9 pull requests in 3 repositories
ocaml/ocaml
7 pull requests
- Shapes: a strong-call-by-need evaluator
- Multicore OCaml
- Fix another display difference between ocamlnat/ocaml
- change manual to include a subsection about 'let exception'
- Name expressions after typing in ocamlnat (restores equivalence with bytecode toplevel)
- Add -safer-matching flag to disable type-based optimization of pattern-matching
- add @since on Atomic
c-cube/qcheck
1 pull request
mirage/ocaml-cohttp
1 pull request
Created an issue in ocaml/ocaml that received 12 comments
[code documentation] difference between Ident.tbl and Map.Make(Ident).t?
What is the difference between Ident.tbl and Map.Make(Ident).t? Could it be documented in indent.mli or any other place? When should one use one or…
12
comments