Some changes
This commit is contained in:
parent
3e92397fe1
commit
55b13cbe3b
2 changed files with 2 additions and 1 deletions
|
|
@ -67,7 +67,7 @@ do both research and teaching.
|
||||||
|
|
||||||
I would like to do research first and foremost, to change the world, type by
|
I would like to do research first and foremost, to change the world, type by
|
||||||
type, functor by functor. But also because theoretical computer science is too
|
type, functor by functor. But also because theoretical computer science is too
|
||||||
awesome and incredible not to dedicate it [find a joke].
|
awesome and incredible not to dedicate oneself to its study.
|
||||||
|
|
||||||
But also teaching, to spread further the beautiful world that is theoretical
|
But also teaching, to spread further the beautiful world that is theoretical
|
||||||
computer science, which unfortunately remains largely unknown to the wider
|
computer science, which unfortunately remains largely unknown to the wider
|
||||||
|
|
|
||||||
1
static/.well-known/discord
Normal file
1
static/.well-known/discord
Normal file
|
|
@ -0,0 +1 @@
|
||||||
|
dh=68148d73f1f348c1f3b8058dd32d308826875263
|
||||||
Loading…
Add table
Add a link
Reference in a new issue