Screenshot_20201026_204933.jpg
Post
First post, so feel free to point this post to appropriate place
Hello, I'm making a show :
X. using patterns for making and calling modules ( focus : typesystem)
Y. Proof assistants and generators for better testing
Z. Lambda abstraction to define logic gates
, and i was wondering if you might want to be a guest. i thought we could talk about xyz*
In upcoming shows
Last updated: Dec 06 2023 at 13:01 UTC