Skip to content

History

New page
Showing with 5 additions and 3 deletions.
  1. +4 −2 Home.md
  2. +1 −1 Scientific programming.md
6 changes: 4 additions & 2 deletions Home.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@
* [[Applicative programming]]
* [[Aspect-oriented programming]]
* [[Attribute-oriented programming]]
* [[Backus-Naur form]]
* [[Backward compatibility]]
* [[Cargo cult programming]]
* [[Chain]]
Expand All @@ -34,7 +35,7 @@
* [[Designate]]
* [[Detour]]
* [[Deyaccify]]
* [[Diamond problem]]
* [[Diamond inheritance]]
* [[Differential inheritance]]
* [[Disambiguating rules]]
* [[Disappear]]
Expand All @@ -47,7 +48,7 @@
* [[Encapsulation]]
* [[Equate]]
* [[Event-driven programming]]
* [[Extended backus–naur form]]
* [[Extended Backus-Naur form]]
* [[Extract]]
* [[Factor]]
* [[Fold]]
Expand Down Expand Up @@ -110,6 +111,7 @@
* [[Terminal]]
* [[Test-driven development]]
* [[Tester driven development]]
* [[Trait]]
* [[Traversal]]
* [[Type polymorphism]]
* [[Type system]]
Expand Down
2 changes: 1 addition & 1 deletion Scientific programming.md
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
* Russian: _доказательное программирование_ ([Source](http://ru.wikipedia.org/w/index.php?title=Доказательное_программирование&oldid=30648733))
* Russian: _доказательное программирование_ ([Source](http://ru.wikipedia.org/w/index.php?title=Доказательное_программирование&oldid=30648733)) ([Source](http://ric.uni-altai.ru/Fundamental/moi2/upr3-4/theory2.htm))