Jason

No, not really. They were here as a reminder for me. I'm working on some update which should hopefully be pushed out today. After that, you can scout around for...

> This still need some updating? While we don't require docstrings as of the moment, there are a couple of functions that require to be type-annotated (see #19). If you'd...

I have thought of this extensively and have changed my mind on Leading Types. I have decided this language should use trailing types as it's easier to read, and introduces...

Update: I'm not quite sure I might the right decision - I value the speed and less code bloat that C has. Needless, I don't think the language matters so...

My thoughts exactly - C++, despite presenting OOP on a platter, had a significant amount of code bloat. There are cases when C++ trumps over C, but not in our...

Okay! With #3, we're back with C.

Adorad is not quite ready as yet to be built as an executable. I anticipate another 1 month of work before it is. I'll update this thread when we're at...

Nice! Would you be interested in J*'s tests written using the [`tau`](https://github.com/jasmcaus/tau) testing framework? It's built with C in mind, it's fast and tiny (~1k lines). Moreover, it provides clean...

Do you mean remove the includes completely, and add your own implementations only for the functions Tau uses? I'm all for minimal dependencies, but there are some sane arguments for...

Hello @GibbOne ! Sorry. Github Notifications are a pain. I believe so. Haven't really tested the filtering functionality myself. Would you like to contribute? Please open a PR in that...