today i learned about the ring solver and everything i have ever done in agda has become trivial

· · Web · 3 · 1 · 7

i can use this... for actual proofs now...

@hazel w-whats the ring solver
how come everybody knows more agda than me now

Sign in to participate in the conversation

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.