Activity for Christian Sternagel
-
Christian Sternagel committed [4edf57]
added theory Natural_Mergesort for educational purposes
-
admin/sitegen (with python3)
-
added email address
-
make lips work with --safe-strings (default in newer versions of OCaml)
1