We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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