Lambda Calculus merge requestshttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests2023-03-15T21:42:27+01:00https://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/18Add release2023-03-15T21:42:27+01:00Björn Löttersbjoern.loetters@mni.thm.deAdd releasehttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/17Fix context creation and separate the description from binding2023-03-15T21:41:00+01:00Björn Löttersbjoern.loetters@mni.thm.deFix context creation and separate the description from bindinghttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/162.4.02022-08-03T22:58:17+02:00Björn Löttersbjoern.loetters@mni.thm.de2.4.0Fix a bug where the strategy in the debugger was not correctly printed. Introduce contexts with auto-loading and -saving. Downgrade to java 17Fix a bug where the strategy in the debugger was not correctly printed. Introduce contexts with auto-loading and -saving. Downgrade to java 17Björn Löttersbjoern.loetters@mni.thm.deBjörn Löttersbjoern.loetters@mni.thm.dehttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/15Dev2022-07-21T14:59:52+02:00Björn Löttersbjoern.loetters@mni.thm.deDevBjörn Löttersbjoern.loetters@mni.thm.deBjörn Löttersbjoern.loetters@mni.thm.dehttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/14Add support for lazy values and call-by-need strategy2022-07-19T12:13:02+02:00Björn Löttersbjoern.loetters@mni.thm.deAdd support for lazy values and call-by-need strategyBjörn Löttersbjoern.loetters@mni.thm.deBjörn Löttersbjoern.loetters@mni.thm.dehttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/13Update README.md2022-07-18T15:33:26+02:00Björn Löttersbjoern.loetters@mni.thm.deUpdate README.mdBjörn Löttersbjoern.loetters@mni.thm.deBjörn Löttersbjoern.loetters@mni.thm.dehttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/12Add release jar2022-07-18T15:27:51+02:00Björn Löttersbjoern.loetters@mni.thm.deAdd release jarBjörn Löttersbjoern.loetters@mni.thm.deBjörn Löttersbjoern.loetters@mni.thm.dehttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/11Add release jar2022-07-18T15:25:29+02:00Björn Löttersbjoern.loetters@mni.thm.deAdd release jarBjörn Löttersbjoern.loetters@mni.thm.deBjörn Löttersbjoern.loetters@mni.thm.dehttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/10Dev2022-07-18T15:24:40+02:00Björn Löttersbjoern.loetters@mni.thm.deDevBjörn Löttersbjoern.loetters@mni.thm.deBjörn Löttersbjoern.loetters@mni.thm.dehttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/9Add assembly plugin for maven2022-07-18T15:11:37+02:00Björn Löttersbjoern.loetters@mni.thm.deAdd assembly plugin for mavenBjörn Löttersbjoern.loetters@mni.thm.deBjörn Löttersbjoern.loetters@mni.thm.dehttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/8Dev2022-07-18T15:00:02+02:00Björn Löttersbjoern.loetters@mni.thm.deDevBjörn Löttersbjoern.loetters@mni.thm.deBjörn Löttersbjoern.loetters@mni.thm.dehttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/7Dev2022-07-18T14:59:13+02:00Björn Löttersbjoern.loetters@mni.thm.deDevBjörn Löttersbjoern.loetters@mni.thm.deBjörn Löttersbjoern.loetters@mni.thm.dehttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/6Dev2022-07-18T14:58:33+02:00Björn Löttersbjoern.loetters@mni.thm.deDevBjörn Löttersbjoern.loetters@mni.thm.deBjörn Löttersbjoern.loetters@mni.thm.dehttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/5v2.1.0-alpha2022-07-15T14:07:08+02:00Björn Löttersbjoern.loetters@mni.thm.dev2.1.0-alphahttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/4Update README.md2022-06-29T14:55:23+02:00Björn Löttersbjoern.loetters@mni.thm.deUpdate README.mdhttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/3Update README.md2022-06-29T14:53:06+02:00Björn Löttersbjoern.loetters@mni.thm.deUpdate README.mdhttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/22.0.0-alpha2022-06-29T14:41:11+02:00Björn Löttersbjoern.loetters@mni.thm.de2.0.0-alphahttps://git.thm.de/bpfr67/lambda-calculus/-/merge_requests/1Dev2022-06-24T15:57:58+02:00Björn Löttersbjoern.loetters@mni.thm.deDev