Merge branch 'master' of git.martlubbers.net:lambda
authorMart Lubbers <mart@martlubbers.net>
Thu, 17 May 2018 06:48:55 +0000 (08:48 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 17 May 2018 06:48:55 +0000 (08:48 +0200)
commitf082c0806b2ae9597f992056393bf82f545f5570
tree31ec64272551783a2ba6fa45b4e08c59327fedcb
parent8231fc0aee4eea2541a0f79637ad19ec31f043fa
parent5a8929edaab8405bd56d0ac27367c9f35f595529
Merge branch 'master' of git.martlubbers.net:lambda
reduce.c