Open robrix opened 9 years ago
Document conformance to ReducibleType in the README.
ReducibleType
ReducibleType’s reducer is potentially scary; break it down into its component pieces and explain the nonrecursive bit.
reducer
This should link to Oleg Kiselyov’s papers.
Document conformance to
ReducibleType
in the README.ReducibleType
’sreducer
is potentially scary; break it down into its component pieces and explain the nonrecursive bit.