| module AlgorithmW | |
| // HINDLEY-MILNER TYPE INFERENCE | |
| // Based on http://catamorph.de/documents/AlgorithmW.pdf | |
| // (Now at http://web.archive.org/web/20170704013532/http://catamorph.de/documents/AlgorithmW.pdf) | |
| type Lit = | |
| | LInt of int | |
| | LBool of bool |
| #!/bin/sh | |
| # | |
| # msys2-sshd-setup.sh — configure sshd on MSYS2 and run it as a Windows service | |
| # | |
| # Please report issues and/or improvements to Sam Hocevar <[email protected]> | |
| # | |
| # Prerequisites: | |
| # — MSYS2 itself: http://sourceforge.net/projects/msys2/ | |
| # — admin tools: pacman -S openssh cygrunsrv mingw-w64-x86_64-editrights | |
| # |
The video opens with a regular Haskell
source file in haskell-mode. We start off by adding headings that
break the file into meaningful chunks. A section heading is indicated
by an asterisk following Haskell single-line comment characters,
i.e. -- *. These are top-level headings, sub-headings are indicated
by adding more asterisks.
These section markers are given meaning by