This repository has been archived by the owner on Sep 18, 2020. It is now read-only.

wenkokke / talk-where-the-linear-lambdas-go Public archive

wherein I look at the problem of generating random linear lambda terms

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
app		app
benchmarks		benchmarks
doc		doc
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
benchmark.sh		benchmark.sh
benchmarks.ipynb		benchmarks.ipynb
eleanor.cabal		eleanor.cabal
package.yaml		package.yaml
run_benchmarks.sh		run_benchmarks.sh
stack.yaml		stack.yaml