Type Theorists need to take a look at Zigpure-systems.org 5 pointsdoyougnu5 months ago1 commentSaveHideCopy link On HNComments−doyougnuOP5moSome shameless self-promotion
Comments
Some shameless self-promotion