gasche

gasche has asked 2 questions and find answers to 294 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

ocamlbuild links libraries in wrong order
Compilation error in ocamlgraph
Altering module behavior in OCaml
I've got hardcoded paths in my Makefile - how to use ocamlfind to eliminate those? (or how to use ocamlbuild or omake instead)
Writing first interpreter with Python - choice of OCaml language
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