935 followers
Starting to move forward (slightly) in looking at dependent types and behavioural hardware specs. It is nice to find that the work of João Paulo Pizani Flor & @wouterswierstra has been developed further https://t.co/RiZ5CMZXL0 Yay related work! ik moet