emacs haskell elisp alignment asked Jan 11 '11 at 2:25

haskell idris asked Oct 19 '15 at 16:54

haskell profiling ghc asked May 16 '16 at 20:47

emacs elisp dot-emacs asked Nov 5 '13 at 3:38

osx opengl sdl sdl-2 asked Sep 28 '13 at 22:20

fonts unicode asked Dec 23 '14 at 19:13

haskell ghc cabal ghci cabal-install asked Jun 2 '14 at 18:23

agda asked Mar 28 '16 at 19:10