Lambda diagram - Revision history

Apm: /* External links */ added two links to code and animations

2021-10-19T13:59:03Z

External links: added two links to code and animations

← Older revision		Revision as of 15:59, 19 October 2021
Line 19:		Line 19:
	* Page about Lambda-diagrams on John Tromp's homepage: '''https://tromp.github.io/cl/diagrams.html'''		* Page about Lambda-diagrams on John Tromp's homepage: '''https://tromp.github.io/cl/diagrams.html'''
	* Page with detailed explanation on how they are drawn and visually evaluated: '''[https://risingentropy.com/how-to-draw-lambda-diagrams/ How to draw lambda diagrams]''' ("Rising Entropy" blog 2020-07-06)		* Page with detailed explanation on how they are drawn and visually evaluated: '''[https://risingentropy.com/how-to-draw-lambda-diagrams/ How to draw lambda diagrams]''' ("Rising Entropy" blog 2020-07-06)
			----
			* Code generating lambda diagrams (using haskells diagrams library): '''https://github.com/polux/lambda-diagrams'''
			* Animation Videos made with this code: [https://www.youtube.com/playlist?list=PLi8_XqluS5xc7GL-bgVrxpA2Uww6nK0gV Playlist: Lambda Diagrams]

	[[Category:Programming]]		[[Category:Programming]]

Apm: improvements

2021-10-18T20:21:01Z

improvements

← Older revision		Revision as of 22:21, 18 October 2021
Line 1:		Line 1:
	'''Lambda diagrams''' are a compact graphical visualization of lambda calculus with pretty much no room for interpretation. <br>		'''Lambda diagrams''' are a compact graphical visualization of lambda calculus with pretty much no room for interpretation. <br>
			<small>[[Lambda calculus]] is a a formalism with only three types of terms that can represent any kind of computation in a very minimalistic way.</small> <br>
	'''Lambda diagrams''' are presented by John Tromp on his homepage here: '''https://tromp.github.io/cl/diagrams.html'''		'''Lambda diagrams''' are presented by John Tromp on his homepage here: '''https://tromp.github.io/cl/diagrams.html'''

	~~To discern them from an extension onto the~~ idea: [[annotated lambda diagram]]s (ALDs) ~~as presented here on this wiki,~~ <br>		== As a programming interface ==
	~~They~~ basic ~~normal~~ lambda diagrams could also be called ~~unannotated or~~ "plain lambda diagrams" (PLDs) <br>
			As a novel idea for a user friendly programming interface
			on this wiki there are presented "[[annotated lambda diagram]]s" (ALDs) <br>
			In this naming scheme basic unannotated lambda diagrams could also be called "plain lambda diagrams" (PLDs) <br>

	== Related ==		== Related ==

Apm: added Category:Programming

2021-09-26T08:41:09Z

added Category:Programming

← Older revision		Revision as of 10:41, 26 September 2021
Line 15:		Line 15:
	* Page about Lambda-diagrams on John Tromp's homepage: '''https://tromp.github.io/cl/diagrams.html'''		* Page about Lambda-diagrams on John Tromp's homepage: '''https://tromp.github.io/cl/diagrams.html'''
	* Page with detailed explanation on how they are drawn and visually evaluated: '''[https://risingentropy.com/how-to-draw-lambda-diagrams/ How to draw lambda diagrams]''' ("Rising Entropy" blog 2020-07-06)		* Page with detailed explanation on how they are drawn and visually evaluated: '''[https://risingentropy.com/how-to-draw-lambda-diagrams/ How to draw lambda diagrams]''' ("Rising Entropy" blog 2020-07-06)

			[[Category:Programming]]

Apm: /* External links */

2021-07-15T18:32:05Z

External links

← Older revision		Revision as of 20:32, 15 July 2021
Line 14:		Line 14:

	* Page about Lambda-diagrams on John Tromp's homepage: '''https://tromp.github.io/cl/diagrams.html'''		* Page about Lambda-diagrams on John Tromp's homepage: '''https://tromp.github.io/cl/diagrams.html'''
			* Page with detailed explanation on how they are drawn and visually evaluated: '''[https://risingentropy.com/how-to-draw-lambda-diagrams/ How to draw lambda diagrams]''' ("Rising Entropy" blog 2020-07-06)

Apm: added external link section

2021-07-15T11:26:31Z

added external link section

← Older revision		Revision as of 13:26, 15 July 2021
Line 10:		Line 10:
	* [[Annotated lambda diagram]]s		* [[Annotated lambda diagram]]s
	* [[Annotated lambda diagram mockups]]		* [[Annotated lambda diagram mockups]]

			== External links ==

			* Page about Lambda-diagrams on John Tromp's homepage: '''https://tromp.github.io/cl/diagrams.html'''

Apm: bold

2021-07-15T11:25:07Z

bold

← Older revision		Revision as of 13:25, 15 July 2021
Line 1:		Line 1:
	'''Lambda diagrams''' are a compact graphical visualization of lambda calculus with pretty much no room for interpretation. <br>		'''Lambda diagrams''' are a compact graphical visualization of lambda calculus with pretty much no room for interpretation. <br>
	'''Lambda diagrams''' are presented by John Tromp on his homepage here: https://tromp.github.io/cl/diagrams.html		'''Lambda diagrams''' are presented by John Tromp on his homepage here: '''https://tromp.github.io/cl/diagrams.html'''

	To discern them from an extension onto the idea: [[annotated lambda diagram]]s (ALDs) as presented here on this wiki, <br>		To discern them from an extension onto the idea: [[annotated lambda diagram]]s (ALDs) as presented here on this wiki, <br>

Apm: Just a minimal page

2021-07-12T17:58:37Z

Just a minimal page

New page

'''Lambda diagrams''' are a compact graphical visualization of lambda calculus with pretty much no room for interpretation. <br>
'''Lambda diagrams''' are presented by John Tromp on his homepage here: https://tromp.github.io/cl/diagrams.html

To discern them from an extension onto the idea: [[annotated lambda diagram]]s (ALDs) as presented here on this wiki, <br>
They basic normal lambda diagrams could also be called unannotated or "plain lambda diagrams" (PLDs) <br>

== Related ==

* [[Lambda calculus]]
* [[Annotated lambda diagram]]s
* [[Annotated lambda diagram mockups]]