# Cedille Documentation

Next: about, Up: (dir) [Index]

# Cedille Documentation

This is the 1.1.2 version of the documentation for the Cedille language and its implementation.

• about |  | About Cedille’s type theory and implementation
• tooling |  | How Cedille is implemented
• cedille mode commands |  | Cedille navigation mode shortcuts with brief descriptions
• unicode shortcuts |  | Keyboard shortcuts for unicode symbols
• extra buffers |  | Cedille has several other buffers for viewing information computed for the source file
• options |  | A description of the options file, holding some global settings for Cedille
• roadmap |  | What is the plan for upcoming Cedille development
• changelog |  | The history of changes to Cedille
• credits |  | Who has contributed to the Cedille tool
• documentation index |  | Index to the documentation

Next: about, Up: (dir) [Index]