progscrape: plt

1SubML: Plan vs Reality

3 months ago blog.polybdenum.com plt

1SubMl: experimental ML-like programming language with a unified module and value language, and more

3 months ago github.com plt

What is a property?

3 months ago alperenkeles.com haskell plt

Why Lean?

3 months ago leodemoura.github.io plt

Breaking ten years of C API compatibility in Futhark

2 months ago futhark-lang.org api c compiler plt

The secret history of Recursion Schemes

3 months ago youtube.com plt video

nondescript: a simple embedded programming language

3 months ago github.com embedded plt show

Lenses in Rust and My Solution

3 months ago lambdalemon.gay plt rust

Linear types proposal for Hare

3 months ago yerinalexey.srht.site plt

Borrow-checking surprises

3 months ago scattered-thoughts.net plt rust