Giters

JacquesCarette / Experiments

In which I do a variety of experiments

Repository from Github https://github.comJacquesCarette/ExperimentsRepository from Github https://github.comJacquesCarette/Experiments

Experiments

In which I do a variety of experiments

About

In which I do a variety of experiments

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Agda 100.0%