Skip to content
Snippets Groups Projects
Commit c8e1b874 authored by Edward Z. Yang's avatar Edward Z. Yang Committed by GitHub
Browse files

Merge pull request #4370 from Ericson2314/finalizePD-cleanup 

finalizedPD: Simplify with Either monad
parents 15c935ab e69aafa8
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment