Update proposals/79-typescript-definitions.md

Co-authored-by: Vasco Santos <[email protected]>

Author: rvagg

proposals/79-typescript-definitions.md

@@ -19,6 +19,7 @@ Remaining work to integrate the current set of js-ipfs dependencies into js-ipfs
 Aside from completing the remaining js-ipfs integration work, the scope of this project includes some additional libraries that are not currently part of the js-ipfs dependency tree, including:
 
  * Next-generation IPLD codec libraries (using the js-multiformats pattern)
+ * js-libp2p core types had a first iteration, but there are a few gaps that should be addressed, specially in the configuration, [as follow up](https://github.com/libp2p/js-libp2p/issues/830). There is also a general libp2p typescript [tracking](https://github.com/libp2p/js-libp2p/issues/659) with all the libp2p modules, but these do not seem high priority at the moment, as most users typically only interact with the core API.
  * _TODO: what other non-archived, non-dormant project should we include here to achieve the above value & impact ideals?_
 
 Project-specific decisions will be made regarding the depth of TypeScript definitional work. Projects with greater expected future usage should include full type checking in CI and will therefore require basic inline TypeScript annotations. Projects that are dependencies but are not expected to be actively maintained or developed further into the future may just include basic API type definitions so that dependents can make use of those.