Alexandros Tasos issues

Repositories
Issues
Comments

Results 3 issues of


                                            Alexandros Tasos

Add support for higher-order Prolog

This PR adds support for partial application and higher-order variables. The entirety of type-checking is done during runtime. Examples are given in `pl/hopes`.

Mark the stack as noexec in asm files

A missing `.note.GNU-stack` section implicitly marks the stack as `PROT_EXEC`: ``` warning: ProbeCtl.o: missing .note.GNU-stack section implies executable stack NOTE: This behaviour is deprecated and will be removed in a...

Wallpaper change: Handle dark themes for Ubuntu 22.04 and later

During my playthrough of OneShot on Linux, I noticed that my wallpaper was not being changed. As it turns out, this is apparently because in Ubuntu 22.04 and later, there...