diff --git a/work.html b/work.html index a222249..6986918 100644 --- a/work.html +++ b/work.html @@ -11,7 +11,7 @@ title: "work"
  • hm - An implementation of a Hindley-Milner type system with non-indexed inductive types. Strictly terminating, other than a hole in the positivity checker.
  • kino - A TUI client for browsing movies
  • mpdart - An album art display for the music player mpd
  • -
  • dbg.h - A C header using macros and C11 generics in order to create greatly informative debug messages.
  • +
  • dbg.h - A C header using macros and C11 generics in order to create greatly informative debug messages.
  • teaching assistant work