Ken Okabe

I forgot to mention in terms of **Windows support #52** Nowadays, they no longer use Cygwin. They simply use a real Linux kernel on Windows that is called **Windows Subsystem...

> Actually I'm looking for a master thesis topic. Could we maybe talk about this? I would be interested in implementing this. FYI, this is an excellent discussion related to...

@nothingnesses Is this the first type-checker in HVM? If my understanding is correct, I wish it will be designed for future enhancement.

Very interesting discussion to propose an alternative lambda calculus: Parsimonious Types and Non-uniform Computation https://lipn.univ-paris13.fr/~mazza/papers/Lpoly.pdf A lambda calculus for the HVM #97

@VictorTaelin Do you still have an option for another approach in your mind? **A lambda calculus for the HVM https://github.com/Kindelia/HVM/discussions/97**

Related to #20

Very interesting discussion to propose an alternative lambda calculus: Parsimonious Types and Non-uniform Computation https://lipn.univ-paris13.fr/~mazza/papers/Lpoly.pdf A lambda calculus for the HVM #97

@quleuber Nowadays, they no longer use Cygwin. They simply use a real Linux kernel on Windows that is called **Windows Subsystem for Linux [WSL2](https://docs.microsoft.com/en-us/windows/wsl/)**. A full environment of a Linux...

@quleuber Eah, I understand. >Btw, when did MS start to integrate GUI (X11/Wayland) in WSL? That's nice .o. It's called WSLg https://github.com/microsoft/wslg on the timing of the release of Windows11...

I think it's good to adopt to https://microsoft.github.io/language-server-protocol/