search

isovector / dynahaskell

the dynabook but for haskell
BSD 3-Clause "New" or "Revised" License
23 stars 2 forks source link

Change in-scope-bindings into context pane #5

Open isovector opened 4 years ago

isovector commented 4 years ago

More things are going to be useful, so let's have a system for dealing with them

isovector commented 4 years ago

prompts could probably describe their context by type and filter; eg "bindings in scope (terms) who reference type a"