raphy
/
lambdatests
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
lambdatests/src
History
Raphael Jacobs 66022a0438 added more experiments, mostly failed, see readme. 2022-04-21 22:25:46 +02:00
..
Typed-0 added more experiments, mostly failed, see readme. 2022-04-21 22:25:46 +02:00
Typed-1 added more experiments, mostly failed, see readme. 2022-04-21 22:25:46 +02:00
Untyped-0 Lots of changes. First working version 2022-04-04 11:11:55 +02:00
GenericLambda.hs added more experiments, mostly failed, see readme. 2022-04-21 22:25:46 +02:00
Lib.hs added more experiments, mostly failed, see readme. 2022-04-21 22:25:46 +02:00