Tix
[WIP] A type system for nix
Install / Use
/learn @thufschmitt/TixREADME
Abandonned see https://github.com/regnat/ptyx
% tix % A (wip) type-inference engine for nix
There is currently not much, hardly a parser for a small subset of the language.
Build
Assuming you got nix installed on your computer, run nix-shell to enter a
well-configured environment, and then:
$ make configure
$ make
$ make test
Related Skills
node-connect
344.1kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
96.8kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
344.1kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
qqbot-media
344.1kQQBot 富媒体收发能力。使用 <qqmedia> 标签，系统根据文件扩展名自动识别类型（图片/语音/视频/文件）。
