diff --git a/content/2024/projects.html b/content/2024/projects.html index 30ac7d7..a990702 100644 --- a/content/2024/projects.html +++ b/content/2024/projects.html @@ -11,5 +11,9 @@

Projects

  • cabal-audit: Auditing cabal projects beginner-friendly
  • regex-tdfa: Adding proper character class algebra
  • Keid: Desktop rendering engine with game batteries included
  • +
  • GHC Syntax for Modifiers: Working on the implementation of the syntax extension
  • +
  • GHC Implicit Parameters: Working on the proposal, improving the design
  • +
  • GHC errors documentation: Improvements to documentation beginner-friendly
  • +
  • Lean Tutorial at Fri 13:30