Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Connect & Sync #48

Open
hsjobeki opened this issue Dec 30, 2022 · 0 comments
Open

Connect & Sync #48

hsjobeki opened this issue Dec 30, 2022 · 0 comments
Labels
A-ty Area: type system

Comments

@hsjobeki
Copy link

hsjobeki commented Dec 30, 2022

Hey,
As I started to work on noogle.dev, i started experimenting with type annotations in nix.

Currently i am writing down my ideas here
https://github.com/hsjobeki/nix-types

I will have some short talks with roberth, infinisil, etc. about my ideas.
Which could eventually lead to an rfc about typings.

We would like to have some input from the nil perspective.

so nil can understand the syntax
or use our (custom provided) parser
to allow for e.g. linting or to enhance the existing type informations from nil.

So please help me out & give me some feedback. From the nilperspective.

Thanks 🥇 you're great. I really love nil ❤️ since i discovered it.

@oxalica oxalica added the A-ty Area: type system label Dec 31, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-ty Area: type system
Projects
None yet
Development

No branches or pull requests

2 participants