Login
From:
Hey There Buddo!
(Uncensored)
subscribe
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
https://www.philipzucker.com/refinement_kdrag1/
links
backlinks
Roast topics
Find topics
Find it!
It has been a question from the beginning how to emulate dependent types in Knuckledragger.
