User Kaa1el

18 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions

awarded

Good Question

Nov 27, 2023 at 7:36

awarded

Yearling

Aug 16, 2022 at 22:21

awarded

Notable Question

Dec 7, 2021 at 17:47

awarded

Popular Question

Dec 14, 2019 at 19:15

awarded

Yearling

Nov 13, 2019 at 23:25

awarded

Nice Question

Aug 19, 2019 at 14:00

comment

What's the point of cubical type theory?

@AndrejBauer Sorry for the ambiguity. It was my mistake to take HoTT and CTT as a whole.

Apr 6, 2019 at 4:10

awarded

Editor

Mar 20, 2019 at 8:45

revised

What's the point of cubical type theory?

deleted 3 characters in body

Mar 20, 2019 at 8:43

Loading…

comment

What's the point of cubical type theory?

found a similar topic on reddit Haskell: reddit.com/r/haskell/comments/561muo/…

Jul 20, 2018 at 0:13

revised

What's the point of cubical type theory?

edited tags

Jul 19, 2018 at 0:40

Loading…

asked

What's the point of cubical type theory?

Jul 19, 2018 at 0:12

Loading…

awarded

Supporter

Jan 7, 2013 at 15:35

awarded

Scholar

Jan 1, 2013 at 22:50

accepted

If $\kappa$ is weakly inaccessible, then is it the $\kappa$-th aleph fixed point

Jan 1, 2013 at 22:43

awarded

Student

Jan 1, 2013 at 21:35

asked

If $\kappa$ is weakly inaccessible, then is it the $\kappa$-th aleph fixed point

Jan 1, 2013 at 21:03

Loading…