From 3e1bb028e538efebcab2ef959acd4b4c701afa59 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sat, 27 May 2023 21:27:36 +0200 Subject: index: Fix spelling Thanks Daniel :) --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index 33501f7..de3daab 100644 --- a/index.html +++ b/index.html @@ -107,7 +107,7 @@ summary { My PhD supervisors are Gabriele Keller and Matthijs Vákár.

- In general I am enthousiastic about lots of things in computer science; I enjoy functional programming and thinking about programming techniques that make FP work well, but I also have some experience in more low-level programming (in C and C++), some of it in competitive programming. + In general I am enthusiastic about lots of things in computer science; I enjoy functional programming and thinking about programming techniques that make FP work well, but I also have some experience in more low-level programming (in C and C++), some of it in competitive programming. I like thinking about how to optimise code to make it run faster, and also about devising compiler optimisations to make other people's code run faster. Furthermore, I like being able to do all of those things while enabling the compiler to prevent me from making mistakes as much as possible; typically, I do this by using the type system of the programming language I'm working in.

-- cgit v1.2.3-70-g09d2