David Luposchainsky

icon indicating a website link https://quchen.github.io

icon location Germany icon location Likes Haskell. Interested in derived languages (Agda, Idris, Purescript). Would like to learn more about Rust.

Results 72 comments of David Luposchainsky
trafficstars

Report unused global variables

There is only one scoping rule, and that is that inside a lambda form, the explicit free/bound names and the top-level names are in scope. But bookkeeping over multiple nested...

Report unused global variables

WIP in the `static-analysis` branch