"The first thing you do is write the (mandatory) doc comment describing what it does, and the type signature. As you write, your editor suggests lists of functi

"The first thing you do is write the (mandatory) doc comment describing what it does, and the type signature. As you write, your editor suggests lists of functions published to the web that match what you're typing." As a concrete example, if I say (picking a syntax at random; underscore denotes where my cursor is): add :: int -> int -> int def add(a, b) """add two numbers""" _ and if the permanent web contains two functions: proj1_add :: int -> int -> int def proj1_add(a, b) """returns sum of arguments""" a+b proj2_sub :: int -> int -> int def proj2_sub(a, b) """returns difference between a and b""" a-b Would you envision your system "matching" both or just the first? If just the first, on what basis do you imagine figuring this out?