We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1. Fix the direction of EIO & IO arrow 2. Clarify the direction of arrows in the text 3. Make solid arrows bold
Fix typo Commmand -> Command
Switch to a horizontal layout for clearer labels.
Fix typo
Add liftCommandElabM
note on `run`/`lift``TermElabM`
Revert 00a26fcf11aac8b845f09e21bd1066a3d89fdb6a...406b6e8101a7c0e8ab9bffc122d12a7965845220 on Monad map
use `?pattern=` instead of full module name in url
edge label links
update Simp.M info
remove unsupported target='_blank'
restore links to nodes; point to docs page instead of query
Updated Monad map (markdown)
html formatting broke; partial workaround using click functionality
magically compress things
add EIO.toBaseIO
make oriented; add `RequestM`, `DelabM`, `Simp.M`, and modify some arrows
Add links
Initial version