https://github.com/bryant/thih-markdown
From HTML to Markdown/Literate Haskell.
https://github.com/bryant/thih-markdown
Last synced: 29 days ago
JSON representation
From HTML to Markdown/Literate Haskell.
- Host: GitHub
- URL: https://github.com/bryant/thih-markdown
- Owner: bryant
- Created: 2014-01-19T12:06:44.000Z (over 12 years ago)
- Default Branch: master
- Last Pushed: 2014-01-19T12:47:43.000Z (over 12 years ago)
- Last Synced: 2023-04-09T22:19:18.496Z (about 3 years ago)
- Language: Python
- Size: 160 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Typing Haskell in Haskell
=========================
Translation of http://web.cecs.pdx.edu/~mpj/thih/TypingHaskellInHaskell.html
into Markdown and Literate Haskell.
## Dependencies
[html2text](https://github.com/aaronsw/html2text)
## Usage
```sh
$ wget -O thih.html http://web.cecs.pdx.edu/~mpj/thih/TypingHaskellInHaskell.html
$ python html2lhs.py < thih.html > thih.lhs
```
Or jump directly to https://github.com/bryant/thih-markdown/blob/master/thih.lhs
.
## Caveats
Windows-1252.