V0.16.4

Description

# AILANG v0.16.2 - AI Teaching Prompt (with IFC Labels + Output Discipline) 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 fu

Installation

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

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