Wednesday, November 27, 2024

Object Logic in Agda

 https://github.com/owl77/agda/blob/main/zalta.agda

No comments:

Post a Comment

Parapsychology and the philosophy of science

It is far from clear what exactly is the so-called 'scientific method'  but it is clear that is actually a complex and fluid combina...