V0.16.0 banner
sunholo-data sunholo-data

V0.16.0

AI community

Description

# AILANG v0.16.0 - AI Teaching Prompt (with IFC Labels) AILANG is a **pure functional language** with Hindley-Milner type inference and algebraic effects. Write code using **recursion** (no loops), **pattern matching**, and **explicit effect declarations**. **⚠️ AILANG is NOT Python!** Do not use Python syntax like `def`, `for`, `while`, `class`, or `if x:`. See "What AILANG Does NOT Have" below. ## Required Program Structure ```ailang module myproject/mymodule export func main() -> () ! {I

Installation

Installs to ~/.claude/skills/sunholo-data-ailang-v0.16.0/SKILL.md

Terminal
mkdir -p ~/.claude/skills/sunholo-data-ailang-v0.16.0 && curl -fsSL https://raw.githubusercontent.com/sunholo-data/ailang/HEAD/prompts/v0.16.0.md -o ~/.claude/skills/sunholo-data-ailang-v0.16.0/SKILL.md

Restart Claude Code, or start a new session, for it to be picked up.

Full documentation available on GitHub

View Source Repository