Monad map

Evgenia Karunus edited this page 2025-04-09 20:12:39 +05:00

Page revisions

20 Commits

Author	SHA1	Message	Date
Evgenia Karunus	8aacfbf36d	1. Fix the direction of EIO & IO arrow 2. Clarify the direction of arrows in the text 3. Make solid arrows bold	2025-04-09 20:12:39 +05:00
Bhavik Mehta	699cd6b4ec	Fix typo Commmand -> Command	2025-03-29 22:15:50 +00:00
Eric Wieser	45dc74cdac	Switch to a horizontal layout for clearer labels.	2024-10-22 21:29:22 +01:00
Eric Wieser	5ea6d77123	Fix typo	2024-10-22 21:26:19 +01:00
Eric Wieser	9b8aa9655c	Add liftCommandElabM	2024-10-22 21:18:01 +01:00
thorimur	9023dcb9ca	note on `run`/`lift``TermElabM`	2024-03-08 13:22:15 -05:00
thorimur	b7fb8cb5b8	Revert 00a26fcf11aac8b845f09e21bd1066a3d89fdb6a...406b6e8101a7c0e8ab9bffc122d12a7965845220 on Monad map	2024-03-06 16:29:45 -05:00
thorimur	406b6e8101	use `?pattern=` instead of full module name in url	2024-03-06 16:27:32 -05:00
thorimur	00a26fcf11	edge label links	2024-03-06 14:51:44 -05:00
thorimur	c7549a7c43	update Simp.M info	2024-03-06 14:34:48 -05:00
thorimur	1487761cc6	remove unsupported target='_blank'	2024-03-06 14:28:43 -05:00
thorimur	79f4cf6643	restore links to nodes; point to docs page instead of query	2024-03-06 14:26:17 -05:00
thorimur	961b8c84f3	Updated Monad map (markdown)	2024-02-28 22:31:12 -05:00
thorimur	9934995519	html formatting broke; partial workaround using click functionality	2024-02-08 17:41:25 -05:00
thorimur	abd97dca8f	magically compress things	2023-10-22 03:29:30 -04:00
thorimur	28cddbfdfd	add EIO.toBaseIO	2023-10-22 03:27:08 -04:00
thorimur	bb3ab15d60	make oriented; add `RequestM`, `DelabM`, `Simp.M`, and modify some arrows	2023-10-22 03:10:46 -04:00
Eric Wieser	9107cbe6ff	Updated Monad map (markdown)	2023-10-13 18:18:45 +01:00
Eric Wieser	26bd14586c	Add links	2023-10-10 22:06:47 +01:00
Eric Wieser	69626bbe19	Initial version	2023-10-10 21:54:00 +01:00