Shanghe Chen

Does this wrapper support fuzzy selecting object, rather then just string?

2

There are cases, for example: ``` ls|%{$_.Name}|fzf|%{ls -Filter $_} ``` rather than select the string and search with the target object with it, does this wrapper support fuzzily selecting object?

Using valgrind to test the python api `expand_address`, I got a report: ``` ==231== 51,166 bytes in 1,945 blocks are definitely lost in loss record 149 of 150 ==231== at...

Hi! At the almost end the first section of Chatper 7, the content about fixing the diamond problem for the two instances: ``` instance selfModule (R : Type) [Ring₃ R]...

请问是否允许移植？

2

请问是否允许一直到其他平台？谢谢！

for example:  or  plantuml or tikz or ditaa or something else or hand drawed? The visulization is nice, though maybe it's irrelevant for the project. But I am...

checking https://www.npmjs.com/package/@leanprover/infoview?activeTab=code, export index.production.min.js rather than export index.development.js for only index.production.min.js in the dist