This is the development 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 |