Beatrice: A finally tagless, dependently typed, homoiconic programming language (hirrolot.github.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 22 Apr 2024 22:05
comments (1)
Solving SAT via Positive Supercompilation (hirrolot.github.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 02 Feb 2024 00:09
comments (0)
Why Static Languages Suffer From Complexity (and type-safe printf implementation without macros) (hirrolot.github.io)
in programming_languages@programming.dev from Crazazy@feddit.nl on 10 Aug 2023 08:18
comments (8)