Agda User Manual v2.6.2version 2.6.1. Turn off the analysis whether a type signature likens that of a projection. Projection-likeness is an optimization that reduces the size of terms by dropping parameter-like reconstructible0 码力 | 348 页 | 414.11 KB | 2 年前3- Agda User Manual v2.6.3NOT_PROJECTION_LIKE pragma New in version 2.6.3. The NOT_PROJECTION_LIKE pragma disables projection-likeness analysis for a particular function, which must be defined before it can be affected by the version 2.6.1. Turn off the analysis whether a type signature likens that of a projection. Projection-likeness is an optimization that reduces the size of terms by dropping parameter-like reconstructible0 码力 | 379 页 | 354.83 KB | 2 年前3
Agda User Manual v2.6.3NOT_PROJECTION_LIKE pragma #### New in version 2.6.3 The NOT_PROJECTION_LIKE pragma disables projection-likeness analysis for a particular function, which must be defined before it can be affected by the version 2.6.1. Turn off the analysis whether a type signature likens that of a projection. Projection-likeness is an optimization that reduces the size of terms by dropping parameter-like reconstructible0 码力 | 288 页 | 1.24 MB | 2 年前3- Agda User Manual v2.6.4.1NOT_PROJECTION_LIKE pragma New in version 2.6.3. The NOT_PROJECTION_LIKE pragma disables projection-likeness analysis for a particular function, which must be defined before it can be affected by the version 2.6.1. Turn off the analysis whether a type signature likens that of a projection. Projection-likeness is an optimization that reduces the size of terms by dropping parameter-like reconstructible0 码力 | 311 页 | 1.38 MB | 2 年前3
- Agda User Manual v2.6.4.3NOT_PROJECTION_LIKE pragma New in version 2.6.3. The NOT_PROJECTION_LIKE pragma disables projection-likeness analysis for a particular function, which must be defined before it can be affected by the version 2.6.1. Turn off the analysis whether a type signature likens that of a projection. Projection-likeness is an optimization that reduces the size of terms by dropping parameter-like reconstructible0 码力 | 311 页 | 1.38 MB | 2 年前3
- Agda User Manual v2.6.4.2NOT_PROJECTION_LIKE pragma New in version 2.6.3. The NOT_PROJECTION_LIKE pragma disables projection-likeness analysis for a particular function, which must be defined before it can be affected by the version 2.6.1. Turn off the analysis whether a type signature likens that of a projection. Projection-likeness is an optimization that reduces the size of terms by dropping parameter-like reconstructible0 码力 | 311 页 | 1.38 MB | 2 年前3
- Agda User Manual v2.6.4NOT_PROJECTION_LIKE pragma New in version 2.6.3. The NOT_PROJECTION_LIKE pragma disables projection-likeness analysis for a particular function, which must be defined before it can be affected by the version 2.6.1. Turn off the analysis whether a type signature likens that of a projection. Projection-likeness is an optimization that reduces the size of terms by dropping parameter-like reconstructible0 码力 | 313 页 | 1.38 MB | 2 年前3
- Agda User Manual v2.6.1.1version 2.6.1. Turn off the analysis whether a type signature likens that of a projection. Projection-likeness is an optimization that reduces the size of terms by dropping parameter-like reconstructible0 码力 | 297 页 | 375.42 KB | 2 年前3
- Agda User Manual v2.6.1version 2.6.1. Turn off the analysis whether a type signature likens that of a projection. Projection-likeness is an optimization that reduces the size of terms by dropping parameter-like reconstructible0 码力 | 297 页 | 375.42 KB | 2 年前3
- Agda User Manual v2.6.1.3version 2.6.1. Turn off the analysis whether a type signature likens that of a projection. Projection-likeness is an optimization that reduces the size of terms by dropping parameter-like reconstructible0 码力 | 305 页 | 375.80 KB | 2 年前3
共 20 条
- 1
- 2