refu
refu copied to clipboard
refu-lang
Refu language
With #34 in place it seems to be possible emitting WebAssembly from Refu. In order to write contracts, the following is needed: 1) A bignumber library, perhaps optimised for 256...
Hello, i noticed your repo has many issues but has not been maintained in a long time. So i wanted to make a PR in the Hacktoberfest spirit. If this...
[At the moment](https://github.com/refu-lang/refu/blob/a2a53852392c78f68eb1f2b10f80dfb82cf90826/src/backend/llvm_operators.c#L69) we simply ignore signedness of the compared integers and just always do signed comparisons. This is an issue to track the implementation of: Check the signedness of...
Think on the benefits of adding emitting web assembly from Refu. Think if it makes sense to also emit WebAssembly code for web development. It would be quite easy to...
I'm not able to build refu using Unix makefiles, but it works when using Ninja as the build system (`cmake -G ninja ..`). With Unix makefiles it will not scan...
At the moment typeclasses are only parsable but not used at all from the analysis stage and forward. Utilize them and do the proper typechecking and backend code generation.
Compound arithmetic operators (`+=`, `-=`, `*=`, `/=`) are missing from the language at the moment. This is an issue to track the implementation of their addition to the language. TODO:...
Nobody has ever attempted to compile refu in Windows. I believe it will require some work to make it happen. This issue is to track work towards that goal. -...
This is a Meta issue for the implementation of lazy evaluation in the places in the code where it needs to be done.