Literate
View the literate source code for Literate! View the literate source code for this website! See the Github page. What is Literate Programming? Literate programming is a style of programming invented by Donald Knuth, where the main idea is that a program's source code is made primarily to be read and understood by other people, and secondarily to be executed by the computer. This frees the programm
lhs2TeX
lhs2TeX lhs2TeX is a preprocessor to generate LaTeX code from literate Haskell sources. It is released under the GPL. lhs2TeX includes the following features: Different styles to process your source file: for instance, "tt" style uses a monospaced font for the code while still allowing you to highlight keywords etc, whereas "poly" style uses proportional fonts for identifiers, handles indentation
Literate programming - HaskellWiki
Literate programming was invented / coined / started by Dr. Donald Knuth. In fact, if you asked Dr. Knuth what his favourite programming language was, (5th question of http://www-cs-faculty.stanford.edu/~knuth/faq.html) you would be told CWEB - which is a literate programming tool combining C and tex. What is literate programming? To quote Dr. Knuth: "The main idea is to regard a program as a comm
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - divipp/PandocAgda: Pandoc support for literate Agda
GitHub - cdosborn/lit: A modern tool for literate programming
