/

• .envrc
• .gitignore
• README.md
• class
• flake.lock
• flake.nix
• haskell
• paper
• slides
• tex