ruidy/functional-programming-jargon
1
0
Fork 0
mirror of https://github.com/rjNemo/functional-programming-jargon synced 2026-06-12 13:36:40 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

TD equational reasoning.

Browse source
This commit is contained in:
hemanth.hm 2015-06-09 16:17:01 +05:30
parent cac94a4f1d
commit 6282252964
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
readme.md
View file

@ -128,6 +128,10 @@ referential transparent.
--- ---
## Equational Reasoning
---
## Lazy evalution ## Lazy evalution
> aka call-by-need is an evaluation machanism which delays the evaluation of an expression until its value is needed. > aka call-by-need is an evaluation machanism which delays the evaluation of an expression until its value is needed.