Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
nikolajs_notebook [2019/03/22 23:17] nikolaj |
nikolajs_notebook [2023/07/05 21:09] nikolaj |
||
---|---|---|---|
Line 15: | Line 15: | ||
| **vita:** | [[https://www.linkedin.com/in/nikolaj-kuntner-0138aa104 | LinkedIn]] | | | **vita:** | [[https://www.linkedin.com/in/nikolaj-kuntner-0138aa104 | LinkedIn]] | | ||
- | [[Intuitionistic propositional logic]] --- | ||
- | [[Category theory]] --- | ||
- | [[Set theory]] --- | ||
- | [[Domain of discourse]] --- | ||
[[Limit . category theory|Limits in category theory]] --- | [[Limit . category theory|Limits in category theory]] --- | ||
[[Monad]] --- | [[Monad]] --- | ||
[[Haskell]] --- | [[Haskell]] --- | ||
[[Monad . Haskell|Monads in Haskell]] --- | [[Monad . Haskell|Monads in Haskell]] --- | ||
- | [[Set universe]] --- | ||
[[First infinite von Neumann ordinal]] --- | [[First infinite von Neumann ordinal]] --- | ||
[[k-tape Turing machine]] --- | [[k-tape Turing machine]] --- |