> On Sep 7, 2018, at 1:35 AM, Rudolf Sykora wrote:
>
> But. There are several parts of the system: jlibrary, jconsole, jqt.
> The first two I finally managed to compile on OpenBSD, I failed with
> jqt (which is a very nice qt-based environment, btw.) And nobody will
> use the latter on Plan9.
> This looks like it fits the bill: open, small, simple. How was it formally
> verified?
http://www.clifford.at/papers/2017/riscv-formal/slides.pdf
> How can I help with the compiler port?
Compiling & testing lots of library code would likely reveal remaining
bugs. Also it might be useful to
On Fri, 07 Sep 2018 08:35:23 +0200 Rudolf Sykora
wrote:
> I also note that there now exists a GPL'd version of the K language,
> Kona. That one was straightforward to build on OpenBSD.
Kona uses mmap so not so easy to port. If you are used to
normal C style, kona code style will be very hard to
Hello,
On Thu, 6 Sep 2018 at 19:36, Richard Miller <9f...@hamnavoe.com> wrote:
> > There's a Plan 9 port of J 3.02 in /n/sources/contrib/miller/j/8.j
> >
> > 386 executable only, as I don't have permission to share source, but I can
> > compile for other $objtypes on request.
>
> I recall the