On Tue, Jul 19, 2022 at 12:31 AM Svjatoslav Agejenko <
svjatos...@svjatoslav.eu> wrote:
> Maybe that higher level language
> can be compiled to forth or forth byte-code, or forth should be
> used to implement lisp ?
>
Interesting you should mention that - I'm aware of a couple cases were
people
On Sun, Jun 30, 2019 at 11:40 AM Tim Daly wrote:
>
> By REALLY careful design, the types are build on a layered
> subset of lisp, like Milawa
> https://www.cl.cam.ac.uk/~mom22/soundness.pdf
> which is sound all the way down to the metal.
>
Milawa and Jitawa... Wow. That is a really interesting
