haskell-nix/hnix

Add typing information for all builtins (revisit after #1016)

Offen

#294 geöffnet am 04.05.2018

 (15 Kommentare) (4 Reaktionen) (0 zugewiesene Personen)Nix (116 Forks)github user discovery
builtinsgood first issuehelp wanted

Repository-Metriken

Stars
 (837 Sterne)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

For example, builtins.add would have the type: TMany [typeInt ~> typeInt, typeInt ~> typeFloat, typeFloat ~> typeInt, typeFloat ~> typeFloat]

Contributor Guide