Install Haskell and Emacs on macOS

Haskell is a purely functional programming language. I learned how to use it in my Programming Language Concepts class. Our professor asked us to use Emacs to edit all the Haskell and Agda code since there are plugins such as Haskell Mode that can let Emacs highlight Haskell code and compile them when needed. In …

How to Sign Commits and Tags with GPG

Why Should You Use GPG? By default, Git will not verify your identity in each commit, which means someone can use your identity to push commits. This may be difficult to understand. Take GitHub as an example, to push commits, you need to register your SSH keys to GitHub. And you need to be an …

How to Install Ruby (on Rails) on Mac

macOS already included Ruby. You can type ruby -v at a Terminal prompt to check Ruby version and see result like: If you are satisfied with the Ruby version, you can type gem install rails –no-ri –no-rdoc to install Rails. However, if you are not satisfied with the Ruby version or if you have multiple …