| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://cedille.github.io/docs/
access-control-allow-origin: *
strict-transport-security: max-age=31556952
expires: Sun, 28 Dec 2025 08:27:20 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: 5A4E:1387E:75A85C:83EE8A:6950E78F
accept-ranges: bytes
age: 0
date: Sun, 28 Dec 2025 08:17:20 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210066-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766909841.656456,VS0,VE204
vary: Accept-Encoding
x-fastly-request-id: 9e8e3b7f9383528fc75ae1c0418755dd630ecfbf
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Sat, 14 Dec 2019 00:46:51 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"5df430fb-11eb"
expires: Sun, 28 Dec 2025 08:27:20 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 73D8:123DE:760205:8447B7:6950E790
accept-ranges: bytes
age: 0
date: Sun, 28 Dec 2025 08:17:21 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210066-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766909841.879991,VS0,VE216
vary: Accept-Encoding
x-fastly-request-id: ca0803a3710253adc9b26162624948594ab2b0c8
content-length: 1390
Top (Cedille Documentation)
Cedille Documentation
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 |