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.
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.