lambda.git
6 years agoreduction optimization
Mart Lubbers [Wed, 16 May 2018 18:11:00 +0000 (20:11 +0200)]
reduction optimization

6 years agoremove header
Mart Lubbers [Wed, 16 May 2018 14:32:38 +0000 (16:32 +0200)]
remove header

6 years agoreduce rules arithmetics in preamble
Mart Lubbers [Wed, 16 May 2018 12:59:44 +0000 (14:59 +0200)]
reduce rules arithmetics in preamble

6 years agoADd printing of decls
Mart Lubbers [Wed, 16 May 2018 12:26:01 +0000 (14:26 +0200)]
ADd printing of decls

6 years agocomplete preable
Mart Lubbers [Wed, 16 May 2018 12:15:16 +0000 (14:15 +0200)]
complete preable

6 years agoChange evaluation strategy to normal order
Mart Lubbers [Wed, 16 May 2018 12:08:32 +0000 (14:08 +0200)]
Change evaluation strategy to normal order

6 years agoSupport multiargument lambda's
Mart Lubbers [Wed, 16 May 2018 12:00:12 +0000 (14:00 +0200)]
Support multiargument lambda's

6 years agoFix reduction, add declarations
Mart Lubbers [Wed, 16 May 2018 11:50:03 +0000 (13:50 +0200)]
Fix reduction, add declarations

6 years agoInitial commit
Mart Lubbers [Tue, 15 May 2018 14:45:02 +0000 (16:45 +0200)]
Initial commit