today i learned about the ring solver and everything i have ever done in agda has become trivial
i can use this... for actual proofs now...
@hazel w-whats the ring solverhow come everybody knows more agda than me now
@hazel petition to release the type theory solver
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.