haskell-nix/hnix
Add typing information for all builtins (revisit after #1016)
Offen
#294 geöffnet am 04.05.2018
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]