notes-computer-programming-programmingLanguageDesign-prosAndCons
* [Self:notes-computer-programming-programmingLanguageDesign-prosAndCons-numpy numpy] * [Self:notes-computer-programming-programmingLanguageDesign-prosAndCons-structuralTyping . . .
11K - last updated 2020-05-21 11:48 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons--index
* [Self:notes-computer-programming-programmingLanguageDesign-prosAndCons-numpy numpy] * [Self:notes-computer-programming-programmingLanguageDesign-prosAndCons-structuralTyping . . .
11K - last updated 2020-05-21 11:48 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-coq
why does coq require 'reflexivity' in proofs? shouldn't this be assumed? -- http://adam.chlipala.net/cpdt/html/Intro.html . . .
3K - last updated 2013-08-08 10:32 UTC by BayleShanks
3 pages found.