Type Inference for Nix

Funding window: 2023-04 – 2024-08

Adding static typing and type inference to Nix

NLnet export

• Programme: ngi-assure
• Export status: early (NLnet field; currently often left at early)
• Keywords: Nix, StaticTyping, TypedLanguage
• Categories: engineering