├── .github └── workflows │ ├── cabal.yml │ ├── hlint.yml │ └── stack.yml ├── .gitignore ├── .hlint.yaml ├── .vscode └── settings.json ├── LICENSE ├── README.md ├── cabal.project.github ├── emacs.gif ├── emacs.png ├── ghcid.gif ├── lh-plugin-demo.cabal ├── src └── Demo │ ├── Client.hs │ ├── Erase.hs │ └── Lib.hs ├── stack.yaml ├── stack ├── stack-9.2.8.yaml ├── stack-9.4.7.yaml ├── stack-9.6.3.yaml └── stack-9.8.1.yaml ├── vim.png └── vscode.gif /.github/workflows/cabal.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/.github/workflows/cabal.yml -------------------------------------------------------------------------------- /.github/workflows/hlint.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/.github/workflows/hlint.yml -------------------------------------------------------------------------------- /.github/workflows/stack.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/.github/workflows/stack.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/.gitignore -------------------------------------------------------------------------------- /.hlint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/.hlint.yaml -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/README.md -------------------------------------------------------------------------------- /cabal.project.github: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/cabal.project.github -------------------------------------------------------------------------------- /emacs.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/emacs.gif -------------------------------------------------------------------------------- /emacs.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/emacs.png -------------------------------------------------------------------------------- /ghcid.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/ghcid.gif -------------------------------------------------------------------------------- /lh-plugin-demo.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/lh-plugin-demo.cabal -------------------------------------------------------------------------------- /src/Demo/Client.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/src/Demo/Client.hs -------------------------------------------------------------------------------- /src/Demo/Erase.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/src/Demo/Erase.hs -------------------------------------------------------------------------------- /src/Demo/Lib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/src/Demo/Lib.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/stack.yaml -------------------------------------------------------------------------------- /stack/stack-9.2.8.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/stack/stack-9.2.8.yaml -------------------------------------------------------------------------------- /stack/stack-9.4.7.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/stack/stack-9.4.7.yaml -------------------------------------------------------------------------------- /stack/stack-9.6.3.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/stack/stack-9.6.3.yaml -------------------------------------------------------------------------------- /stack/stack-9.8.1.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/stack/stack-9.8.1.yaml -------------------------------------------------------------------------------- /vim.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/vim.png -------------------------------------------------------------------------------- /vscode.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsd-progsys/lh-plugin-demo/HEAD/vscode.gif --------------------------------------------------------------------------------