Typed Neuro-Symbolic Program Synthesis for the Typed Lambda Calculus

Name		Name	Last commit message	Last commit date
Latest commit History 362 Commits
.github/workflows		.github/workflows
benchmark		benchmark
evolutionary		evolutionary
generator		generator
grid-search		grid-search
library/Synthesis		library/Synthesis
nix		nix
plotting		plotting
results		results
synthesizer		synthesizer
test-suite		test-suite
view-dataset		view-dataset
.editorconfig		.editorconfig
.gitignore		.gitignore
.stylish-haskell.yaml		.stylish-haskell.yaml
CHANGELOG.md		CHANGELOG.md
LICENSE.md		LICENSE.md
README.md		README.md
Setup.hs		Setup.hs
cabal.project		cabal.project
default.nix		default.nix
operators.md		operators.md
package.yaml		package.yaml
shell.nix		shell.nix
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Provide feedback