commits

date

comment

76924
by Project Collectio...
(13 downloads)
Oct 1, 2012
9:29 PM

Upgrade: New Version of LabDefaultTemplate.xaml. To upgrade your build definitions, please visit the following link: http://go.microsoft.com/fwlink/?LinkId=254563

76923
by Project Collectio...
(0 downloads)
Oct 1, 2012
9:23 PM

Checked in by server upgrade

48137
by holoed
(8 downloads)
Jun 18, 2010
10:31 PM

- Added Continuation Monad
- Refactored CPS Style functions to use Continuation Monad

34711
by holoed
(7 downloads)
Jan 6, 2010
12:27 AM

Refactorings...
Initial check in for Parser Monad + Tests

31942
by holoed
(16 downloads)
Nov 15, 2009
8:05 PM

Refactored REPL loop
Added test for variable capture

31054
by holoed
(11 downloads)
Oct 27, 2009
11:10 PM

Refactored to remove warnings on VS2010 Beta 2
Enabled test for Factorial of 7 (Seems to be a lot faster on Beta 2)

26292
by holoed
(18 downloads)
Sep 13, 2009
10:26 AM

Fixed bug in Console input handling

25919
by holoed
(19 downloads)
Sep 11, 2009
11:53 AM

Added tests for Pair (2-Tuple)
- First : extracts first part
- Second: extracts second part

Renamed ToNumber to toNumber

25671
by holoed
(0 downloads)
Sep 9, 2009
6:32 PM

Introduced catamorphism for AST (generalised fold over a specific data type)
See:
- http://lorgonblog.spaces.live.com/blog/cns!701679AD17B6D310!170.entry?_c=BlogPart
- http://en.wikipedia.org/wiki/Bananas_(catamorphism)
- http://research.microsoft.com/en-us/um/people/emeijer/Papers/fpca91.pdf

Refactored toString to use generalised fold (catamorphism).

TODO: refactor other functions to use generalised fold.

25606
by holoed
(0 downloads)
Sep 9, 2009
8:02 AM

Refactorings...

25417
by holoed
(5 downloads)
Sep 3, 2009
7:36 PM

Refactored to tail call optimized: toNumber, toString, reduce functions.
Factorial of 8 now works in release mode on VS2010 Beta 1.
Takes more than an hour to calculate factorial of 8.

25175
by holoed
(4 downloads)
Aug 27, 2009
10:26 PM

Made Subst and FromNumber functions Tail Recursive using CPS Technique.
TODO: Make ToNumber tail recursive.

Added more tests.
Enabled Factorial of 7 test.

24959
by holoed
(4 downloads)
Aug 21, 2009
11:29 AM

Added: Church Number -> Number utility function

24856
by holoed
(10 downloads)
Aug 15, 2009
10:27 PM

Fixed readLine support for back button.

24855
by holoed
(6 downloads)
Aug 15, 2009
9:51 PM

Added tests for NOT

24820
by holoed
(8 downloads)
Aug 14, 2009
10:04 AM

Added and, or and not tests

24643
by holoed
(6 downloads)
Aug 8, 2009
12:22 AM

Refactorings...
Deleted Script.fsx

24641
by holoed
(7 downloads)
Aug 8, 2009
12:06 AM

- Replaced interpreter with Normal Order Substitution reducer
- Fixed Factorial
- Added Tests for Factorial of 4 and 5
Y Combinator now works ! :)

22916
by holoed
(11 downloads)
Jul 2, 2009
10:54 PM

Refactored interpreter to run LR CBN (Left to Right Call By Name).
Added more tests.

22136
by holoed
(3 downloads)
Jun 23, 2009
11:14 PM

Refactored interpreter unit tests to make them more readable.

21980
by holoed
(6 downloads)
Jun 23, 2009
12:03 AM

Added test of almost factorial...missing recursion

21979
by holoed
(3 downloads)
Jun 22, 2009
11:48 PM

Added more IfThenElse tests

21954
by holoed
(6 downloads)
Jun 22, 2009
9:20 PM

Added IF THEN ELSE Tests

21953
by holoed
(4 downloads)
Jun 22, 2009
9:06 PM

Added tests for:
- True, False
- IsZero function

21915
by holoed
(4 downloads)
Jun 22, 2009
6:33 PM

Added predecessor function tests pred 4 = 3