| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455 |
- .. _language-index:
- ##################
- Language Reference
- ##################
- .. toctree::
- :maxdepth: 2
- abstract-definitions
- built-ins
- coinduction
- copatterns
- core-language
- coverage-checking
- cubical
- cumulativity
- data-types
- flat
- foreign-function-interface
- function-definitions
- function-types
- generalization-of-declared-variables
- guarded-cubical
- implicit-arguments
- instance-arguments
- irrelevance
- lambda-abstraction
- let-and-where
- lexical-structure
- literal-overloading
- lossy-unification
- mixfix-operators
- module-system
- mutual-recursion
- pattern-synonyms
- positivity-checking
- postulates
- pragmas
- prop
- record-types
- reflection
- rewriting
- runtime-irrelevance
- safe-agda
- sized-types
- sort-system
- syntactic-sugar
- syntax-declarations
- telescopes
- termination-checking
- universe-levels
- with-abstraction
- without-k
|
