This action will delete this post on this instance and on all federated instances, and it cannot be undone. Are you certain you want to delete this post?
#pointfreeverse 6 hashtags
Todd Sundsted posted Sep 14, 2025
a dependent type itself depends
on Agda, Idris, and Lean.
a list of three, on three itself
depends recursively.
Todd Sundsted posted Oct 14, 2021
are illegal states
unrepresentable?
are illegal states
just detectable?
or are illegal states
lying in wait
waiting to strike
and utterly
unpredictable?
Todd Sundsted posted Jan 16, 2021
a dog is just a wolf
in the category of pettable
Todd Sundsted posted Dec 12, 2020
a missing database index
like snowy winter streets
would not a typeclass fix?
Todd Sundsted posted Apr 4, 2018
a loaf of bread
a jug of wine
a typeclass
and thou
Todd Sundsted posted Mar 8, 2018
can't we define
a documentation typeclass
with types for specific documentation artifacts
then we could compile
our documentation
into an executable
that would generate
readable documentation
in various forms