Machine Logic
At the junction of computation, logic and mathematics
Tag: quaternions
The quaternions—and type classes
(09 Mar 2022)