dagit.o: compilations of a developer

Recent Posts

Full list of posts.

Tags

advice (2), agda (2), c (1), cabal (1), commute (1), continuations (2), correctness (1), darcs (7), database (1), evidence (1), galois (1), git (1), gui (1), hackingsprint (1), haskell (10), imported (18), libraries (1), math (3), metrics (1), opencl (1), opengl (1), opinion (1), pdx (1), performance (1), proof (1), ssh (1), takusen (1), testing (2), tmux (1), tutorial (1), types (3), windows (1)