maciej-bendkowski/generic-boltzmann-brain
1
1
Fork 0
mirror of https://github.com/maciej-bendkowski/generic-boltzmann-brain.git synced 2024-11-25 08:51:55 +03:00
Code Issues Projects Releases Wiki Activity
main
generic-boltzmann-brain/bench
History
Maciej Bendkowski dc21fa524c Benchmark for random lambda terms.
2022-04-02 15:17:00 +02:00
..
Lambda.hs Benchmark for random lambda terms. 2022-04-02 15:17:00 +02:00
Main.hs Benchmark for random lambda terms. 2022-04-02 15:17:00 +02:00