Experiments in using Dependent Types to capture and enforce invariants in Genetic Programming.
Agda version 2.2.10 Agda standard library version 0.5
Here is a branch with an accompanying paper describing the project.
forked from larrytheliquid/dtgp
-
Notifications
You must be signed in to change notification settings - Fork 0
Dependently Typed Genetic Programming
License
caylee-hogg/dtgp
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Dependently Typed Genetic Programming
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published