gasche

gasche has asked 2 questions and find answers to 289 problems.

Stats

About

gasche questions

JAL: what is the "alternate link register" x5 for?
Where is the "*simpler* real-time catenable deque" work of Tarjan and Mihaescu?

gasche answers

Building library with ocamlbuild, installing it with ocamlfind - what's the best practice?
Deciding if an incorrect program can have a correct continuation
To prove SKK and II are beta equivalent, lambda calculus
Only type-check an Ocaml file
Getting rid of ;; in OCaml toplevel
Keeping type generic without η-expansion
Ocaml naming convention
opam upgrade wants to downgrade a bunch of packages
OCaml: Function input ('a * 'b -> 'c)
Function to create one of two record types dynamically