Jonathan Gallagher

Jonathan Gallagher has asked 45 questions and find answers to 3 problems.

Stats

About

I know just enough computer science to be dangerous.

Jonathan Gallagher questions

Frama-C unbound module Z build error
In Agda is it possible to define a datatype that has equations?
OCaml "list" with constant append to front and back?
If I make a struct and put it in a vector, does it reside on the heap or the stack?
Pointers to ADTs in Haskell
Haskell LLVM -- Duplicate Functions Created
Variable in Cabal (Haskell)
Agda: how does one obtain a value of a dependent type?
Haskell LLVM binding Ambiguous Type
Haskell, Channels, STM, -threaded, Message Passing

Jonathan Gallagher answers

Haskell LLVM binding Ambiguous Type
LLVM tail call optimization