Wednesday, November 27, 2024

Object Logic in Agda

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

No comments:

Post a Comment

Head Truth: Reasons for Doubting Thought Comes from the Fronta...

Head Truth: Reasons for Doubting Thought Comes from the Fronta... : Scientists lack any coherent explanation for how a brain could generate...