.. academic-papers.md ai-context-files.md conference-materials.md elm-gui-design.md haskell-registry-design.md rhodium-init-design.md