Viewing profile — dotaheor

It looks the "install.sh" script must be executed by an admin to install the tools in some system folders. Setting the bin folders in PATH doesn't work, and error message is totall…

A silly question: how to build the examples? I haven't found a build tutorial in the project. As a rust newbie, I guess I should run in "cargo build" in the example folders. But bo…

This really depends on what job a program does and how well the C program is implemented.

The constraint expressions are expected to be used in generic declaration body scopes instead of top package scopes. For example: https://github.com/dotaheor/unify-Go-builtin-and-c…

sort by date: https://hn.algolia.com/?query=generics&sort=byDate&prefix&pa...

Yes, I think. Now, the kubernetes project uses too many code generators, which makes it is to extend.