Difference between revisions of "Template:Functional programming basics"

From blackwiki
Jump to navigation Jump to search
imported>Ancheta Wis
(test)
imported>Ancheta Wis
(test)
Line 39: Line 39:
 
*[[Higher-order function]]
 
*[[Higher-order function]]
 
*[[Higher-order logic]]
 
*[[Higher-order logic]]
*[[Hindley–Milner type system]]
+
-->
*[[Intuitionistic type theory]]
+
*[[Hindley–Milner type system#Hindley–Milner_type_inference_algorithm]]
 +
<!--*[[Intuitionistic type theory]]
 
*[[Intuitionistic logic]]
 
*[[Intuitionistic logic]]
 
*[[Kan extension]]
 
*[[Kan extension]]
Line 76: Line 77:
 
*[[Topos]]-->
 
*[[Topos]]-->
 
*[[Turnstile_(symbol)#Interpretations]]
 
*[[Turnstile_(symbol)#Interpretations]]
 +
<!--
 
*[[Type class]]
 
*[[Type class]]
 
*[[Type constructor]]
 
*[[Type constructor]]
Line 82: Line 84:
 
*[[Type theory]]
 
*[[Type theory]]
 
*[[Unified Modeling Language]]
 
*[[Unified Modeling Language]]
 
+
-->
 
}}<noinclude>{{Documentation|content=
 
}}<noinclude>{{Documentation|content=
  

Revision as of 14:53, 27 March 2019