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 |