Standard ML
Standard ML（SML），是一个函数式、指令式、模块化的通用的编程语言，具有编译时间类型检查和类型推论。它流行于编译器作者和编程语言研究者和自动定理证明研究者之中。
Read article on Wikipedia
| Onion Wiki |
Polytunnel
A polytunnel is a tunnel typically made from steel and covered in polyethylene, usually...Continue reading |
Monsoon
A monsoon is traditionally a seasonal reversing wind accompanied by corresponding changes in...Continue reading |
Hitman: Contracts
Hitman: Contracts is a 2004 stealth video game developed by IO Interactive and published by Eidos...Continue reading |
Ahmad Šáh Masúd
Ahmad Šáh Masúd, známý též jako Lev z Pandžšíru, byl legendární afghánský politik a...Continue reading |
009-1
009-1 is a Japanese manga series written and illustrated by Shotaro Ishinomori. The manga was...Continue reading |