jarble

There should be some way to generate annotated source code from a program without type annotations: [the documentation](https://hegel.js.org/docs/type-annotations) doesn't explain how to do this, so I don't know if Hegel...

I tried to run [this example](https://rosettacode.org/wiki/Gamma_function#Perl_6) from Rosetta Code, but it doesn't seem to work correctly with Perlito's perl6 compiler. I've used Perlito with some perl5 programs, and it runs...

This [has already been done in AssemblyScript](https://github.com/AssemblyScript/assemblyscript), which compiles a variant of TypeScript to WebAssembly. Walt's syntax is very similar (if not identical) to AssemblyScript, so type inference is probably...

@nicoabie Tagged template literals might also be useful, though I haven't used them before. Would it be possible to use these literals with JavaScript expressions instead of variables, like this?...

I also see this error when I try to use pyswip on Windows. I tried to import pyswip: `from pyswip import Functor, Variable, Query, call` but then I saw this...

@jiggzson It turns out that some Boolean expressions can be easily converted into a format that Nerdamer is able to solve. For example: `(a = 0) or (b = 0)...

@Yaffle The formula would be converted to a system of equations, and then solved using `solveEquations`. For example: `(a = 1) and ((b = 2+a) or (b = 3+a))` could...

@Yaffle `solveEquations` seems to have a few bugs. I also see an error message when I use it to solve a single equation, like `a+1=0`. But it also shows a...

In some cases, inequalities can be written as equations using the [sign function](https://en.wikipedia.org/wiki/Sign_function). `x>0` could be written as `sqrt(x^2)/x = 1`.

`x= 0` would need to be written in another way.