Kōgaku (光学)

Optics library for Idris2

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
kogaku.ipkg		kogaku.ipkg
plan.md		plan.md

Provide feedback