Viewing profile — lucifer153

This is same idea with onion architect in "Grokking Simplicity: Taming Complex Software with Functional Thinking Book by Eric Normand"

Interestingly, Huly is also the sponsor of the Zig programming language[1]. [1]: https://ziglang.org/

I was surprised that the software was written in Pascal which is the dead language

It seems it has a lot in common with Lamport's TLA+, can someone compare?