search

andrew-johnson-4 / lambda-mountain

Compiler Backend for LSTS (Typed Macro Assembler)
https://andrew-johnson-4.github.io/lambda-mountain/
MIT License
18 stars 0 forks source link

Search engine for functions / libraries #44

Open andrew-johnson-4 opened 9 months ago

andrew-johnson-4 commented 9 months ago

It would be nice to provide a frontend to search for existing libraries with functions that provide some functionality. This could be links to github repos that get downloaded or crates that get added as dependencies.

This would be most useful after types and ad-hoc polymorphism get implemented to avoid conflicts in the global namespace.

andrew-johnson-4 commented 6 months ago

It would be cool to have a deep search function too. The actual terms and types can be indexed also.