Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
nikolajs_notebook [2018/08/06 20:28] nikolaj |
nikolajs_notebook [2023/07/05 21:09] (current) nikolaj |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| If you have questions or suggestions, feel free to contact me... | If you have questions or suggestions, feel free to contact me... | ||
| - | | **email:** | [[treegraph@gmail.com|Nikolaj Sebastian Kuntner]] | | + | | **email:** | [[treegraph@gmail.com|Nikolaj Kuntner]] | |
| | **video:** | [[https://www.youtube.com/channel/UCcrSMnEYhIPX_p127jI23qw/videos | youtube]] (Nikolaj-K) | | | **video:** | [[https://www.youtube.com/channel/UCcrSMnEYhIPX_p127jI23qw/videos | youtube]] (Nikolaj-K) | | ||
| | **code:** | [[https://github.com/Nikolaj-K | GitHub]] | | | **code:** | [[https://github.com/Nikolaj-K | GitHub]] | | ||
| | **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]] --- | ||
Graphxioms
