Jonathan Gallagher

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

Stats

About

I know just enough computer science to be dangerous.

Jonathan Gallagher questions

An agda proposition used in the type -- what does it mean?
Basic Blocks and Control Flow in x86
C symbolic types, and disjoint union types?
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)

Jonathan Gallagher answers

Haskell LLVM binding Ambiguous Type
LLVM tail call optimization