Geeks
andorp
/
kogaku
Optics library for Idris2
BSD 3-Clause "New" or "Revised" License
BSD-3-Clause
kogaku GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Kōgaku (光学)
Optics library for Idris2