This repository is not active
tnttodda/RegressionInTypeArxiv
Formalised framework for regression on encodings of computable real numbers
Agda
Formalised framework for regression on encodings of computable real numbers
Agda
This repository is not active