3 ms·
This reminds me of type-driven programming as in Idris using the Type-Define-Refine workflow as described by Brady.
by nuclx 8y ago
This reminds me of type-driven programming as in Idris using the Type-Define-Refine workflow as described by Brady.