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.
-
Notifications
You must be signed in to change notification settings - Fork 3
Dependently Typed Genetic Programming
License
larrytheliquid/dtgp
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