ndmitchell/hoogle — pull request #65 by aviraldg (2014-04-20 18:55:02+00:00)
Title: Debounce instant mode queries

Currently, typing in a long query in instant mode fires of several requests to the server. Delaying these requests until the user has stopped typing might be a good idea.