https://git.martlubbers.net

Mart Lubbers [Thu, 17 May 2018 13:33:39 +0000 (15:33 +0200)]

Fix memory leaks and verbosify reduction

Mart Lubbers [Thu, 17 May 2018 10:53:23 +0000 (12:53 +0200)]

Started with actually freeing terms that are not used anymore

Mart Lubbers [Thu, 17 May 2018 07:28:36 +0000 (09:28 +0200)]

alpha

Mart Lubbers [Thu, 17 May 2018 06:48:55 +0000 (08:48 +0200)]

Merge branch 'master' of git.martlubbers.net:lambda

Mart Lubbers [Thu, 17 May 2018 06:48:12 +0000 (08:48 +0200)]

add alpha renaming

Mart Lubbers [Thu, 17 May 2018 06:47:53 +0000 (08:47 +0200)]

bork

Mart Lubbers [Wed, 16 May 2018 18:11:00 +0000 (20:11 +0200)]

reduction optimization

Mart Lubbers [Wed, 16 May 2018 14:32:38 +0000 (16:32 +0200)]

remove header

Mart Lubbers [Wed, 16 May 2018 12:59:44 +0000 (14:59 +0200)]

reduce rules arithmetics in preamble

Mart Lubbers [Wed, 16 May 2018 12:26:01 +0000 (14:26 +0200)]

ADd printing of decls

Mart Lubbers [Wed, 16 May 2018 12:15:16 +0000 (14:15 +0200)]

complete preable

Mart Lubbers [Wed, 16 May 2018 12:08:32 +0000 (14:08 +0200)]

Change evaluation strategy to normal order

Mart Lubbers [Wed, 16 May 2018 12:00:12 +0000 (14:00 +0200)]

Support multiargument lambda's

Mart Lubbers [Wed, 16 May 2018 11:50:03 +0000 (13:50 +0200)]

Fix reduction, add declarations

Mart Lubbers [Tue, 15 May 2018 14:45:02 +0000 (16:45 +0200)]

Initial commit

KISS lambda interpreter in C