newtype WorldM a = WorldM { asT :: WorldT a }
Donald Thompson witt3rd
⌨️
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module RandomDouble | |
| import Data.Bits | |
| import Data.Vect | |
| import Effects | |
| import Effect.StdIO | |
| import Effect.Random | |
| -- 2^53 as an Integer | |
| twoTo53 : Integer |
Follow the recommended approach to prepare for the standard Linux install (below).
witt3rd
/ idris_tdd_reading_group.md
Last active
October 13, 2020 21:54
Type-Driven Development with Idris: Reading Group Questions and Challenges
- Functions in Idris are defined by collections of pattern-matching equations.
- Patterns arise from the constructors of a data type.
- Describe "type declaration", "type definition", "equation", "expression"
- Are type declarations required? When (not)?
- What is referential transparency?
- Can pattern matching match a specific value?
export MY_NAME="MyName"
sudo scutil --set ComputerName "$MY_NAME" && \
sudo scutil --set HostName "$MY_NAME" && \
sudo scutil --set LocalHostName "$MY_NAME" && \
sudo defaults write /Library/Preferences/SystemConfiguration/com.apple.smb.server NetBIOSName -string "$MY_NAME"brew install neovim
mkdir ~/.config/nvim
touch ~/.config/nvim/init.vim
cd ~/.config/nvim
curl -fLo ~/.config/nvim/autoload/plug.vim --create-dirs https://raw.githubusercontent.com/junegunn/vim-plug/master/plug.vimYou should now have plug.vim in your autoload directory so it will load of on start.
- Get Haskell Stack
- And [Haskell VS Code Extension)(https://marketplace.visualstudio.com/items?itemName=haskell.haskell)
curl -sSL https://get.haskellstack.org/ | sh
Here is a list of tools and gear I use to make YouTube videos for coding. I will try to keep it up-to-date as I evolve and get better at producing content. Leave a comment, if you have suggestions!
I use both Mac and Windows, but I am currently doing all the capture and production on Windows. For coding, I find the Linux shell much better than PowerShell or the Windows Command Prompt.