haskell-nix/hnix

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

Aberta

#294 aberto em 4 de mai. de 2018

 (15 comentários) (4 reações) (0 responsável)Nix (116 forks)github user discovery
builtinsgood first issuehelp wanted

Métricas do repositório

Stars
 (837 estrelas)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)

Description

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

Guia do colaborador