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

Follow

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

· · Web · 0 · 0 · 1
Sign in to participate in the conversation
types.pl

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