summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Mart Lubbers [Wed, 23 May 2018 10:10:37 +0000 (12:10 +0200)]
change eval order
Mart Lubbers [Wed, 23 May 2018 10:03:50 +0000 (12:03 +0200)]
remove smart allocations, back to bruteforce
Mart Lubbers [Wed, 23 May 2018 08:40:49 +0000 (10:40 +0200)]
fix memory leak
Mart Lubbers [Wed, 23 May 2018 08:23:49 +0000 (10:23 +0200)]
use debruijn indexing
Mart Lubbers [Tue, 22 May 2018 10:39:28 +0000 (12:39 +0200)]
add reference counter for future smarter allocations
Mart Lubbers [Tue, 22 May 2018 06:20:30 +0000 (08:20 +0200)]
add strictness
Mart Lubbers [Tue, 22 May 2018 05:24:29 +0000 (07:24 +0200)]
Readme added
Mart Lubbers [Fri, 18 May 2018 10:17:56 +0000 (12:17 +0200)]
Supposedly streameing
Mart Lubbers [Fri, 18 May 2018 08:15:53 +0000 (10:15 +0200)]
literals
Mart Lubbers [Thu, 17 May 2018 14:46:17 +0000 (16:46 +0200)]
better printing
Mart Lubbers [Thu, 17 May 2018 14:13:33 +0000 (16:13 +0200)]
add fancy printing
Mart Lubbers [Thu, 17 May 2018 13:48:16 +0000 (15:48 +0200)]
Add grammar
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
repositories / lambda.git / log