Session Optics
View
theory dependencies
View
document
View
outline
Theories
Interp
Two
Lens_Laws
Lens_Algebra
Lens_Order
Lens_Symmetric
Scenes
Scene_Spaces
HOL-Library.Nat_Bijection
HOL-Library.Stream
Lens_Instances
File ‹Lens_Lib.ML›
File ‹Lens_Record.ML›
File ‹Lens_Statespace.ML›
Lenses
Prisms
File ‹Prism_Lib.ML›
Channel_Type
File ‹Channel_Type.ML›
Dataspace
File ‹Dataspace.ML›
Optics
Lens_Record_Example
HOL-Library.Adhoc_Overloading
File ‹adhoc_overloading.ML›
HOL-Library.Monad_Syntax
HOL-Library.State_Monad
Lens_State