Cross-Reference Redirection

Cross-Reference Redirection

Table of Contents

	⁙ «freely»
	⟩ Introducing «freely»
	⟩ Notation in «freely»
	⟩ Prior art (review / comparison)
	⟩ «freely», categorically
	⟩⟩ Universes & the ambient category
	⟩⟩ Introduction to the categorical viewpoint
	⟩⟩ Deepening the categorical picture
	⁘ Freely
	⁖ Freely.Algebra.ZeroPlus
	⁖ Freely.Handler.Algebra
	⁖ Freely.Handler.Core
	⁖ Freely.Handler.Interpret
	⁖ Freely.Program.Monad.Derive.Member
	⁖ Freely.Program.Monad.Freer
	⁖ Freely.Program.Monad.Member
	⁖ Freely.Signature.Coyoneda
	⁖ Freely.Signature.Sum
	⁙ «freely-docs»
	⟩ Purpose of «freely-docs»
	⁙ «freely-log»
	⟩ Structure of «freely-log»
	⁘ FreelyLog
	⁖ FreelyLog.Core
	⁖ FreelyLog.Handler
	⁖ FreelyLog.Interpret
	⁖ FreelyLog.Monad
	⁖ FreelyLog.Program
	⁖ FreelyLog.Signature
	⁖ FreelyLog.Trace
	⁖ FreelyLog.Util
	⁙ «freely-tests»
	⁘ FreelyTests
	⁖ FreelyTests.Suites.Freely
	⁖ FreelyTests.Fixtures.Handlers.Tick
	⁖ FreelyTests.Fixtures.Handlers.Tock
	⁖ FreelyTests.Fixtures.Signature.Tick
	⁖ FreelyTests.Fixtures.Signature.Tock
	⁖ FreelyTests.Fixtures.Tick
	⁖ FreelyTests.Fixtures.TickTock
	⁖ FreelyTests.Fixtures.Tock
	⁖ FreelyTests.Freely.Calc
	⁖ FreelyTests.Freely.Coyoneda
	⁖ FreelyTests.Freely.HandlerPlus
	⁖ FreelyTests.Freely.Handlers
	⁖ FreelyTests.Freely.Interpretation
	⁖ FreelyTests.Freely.MaskRouting
	⁖ FreelyTests.Freely.MonadLaws
	⁖ FreelyTests.Freely.Naturality
	⁖ FreelyTests.Freely.SumHandles
	⁖ FreelyTests.Kit.Handler
	⁖ FreelyTests.Kit.Interpret
	⁖ FreelyTests.Kit.Monad
	⁖ FreelyTests.Kit.Program
	⁖ FreelyTests.Kit.Signature
	⁖ FreelyTests.Kit.State
	⁖ FreelyTests.Kit.Trace
	․ Local Development
	․ License, citation, and use of «freely»
	⟩ License (Apache 2.0)
	⟩ Notice
	⟩ Citing «freely»
	․ Acknowledgments
	․ Resources
	․ Author (Abraham Howland)

Source Code
Report Issues