TN
Size: a a a
2021 July 08
2021 July 09
2021 July 10
TN
догнали Агду почти!
TN
остались только эти уравнения
2021 July 11
2021 July 12
TN
Агдочку подвезли!
2021 July 14
TN
15 JUL 2021 Version 0.7.2 Kan Operations:
* Strict Equality (Id, ref, idJ)
* Cubical Subtypes (Sub, inc, ouc)
* Partials, Systems (Partial, [φ ↦ u])
* Kan Operations (hcomp, transp)
* Eliminate neutral elements (Mini-TT)
* Fast type checking
* Fast compilation
* Initial Base Library (OPAM share folder)
* New options
* Strict Equality (Id, ref, idJ)
* Cubical Subtypes (Sub, inc, ouc)
* Partials, Systems (Partial, [φ ↦ u])
* Kan Operations (hcomp, transp)
* Eliminate neutral elements (Mini-TT)
* Fast type checking
* Fast compilation
* Initial Base Library (OPAM share folder)
* New options
silent and indices