Documentation
Algolean
Search
return to top
source
Imports
Init
Algolean.FuelExecMonad
Algolean.ModelM
Algolean.ModelStateM
Algolean.QueryComposition
Algolean.QueryModel
Algolean.AddWriter.Basic
Algolean.AddWriter.Transformer
Algolean.AddWriter.WP
Algolean.Algorithms.BoyerMooreMajorityVote
Algolean.Algorithms.DiscreteLog
Algolean.Algorithms.KMPPatternSearch
Algolean.Algorithms.Karatsuba
Algolean.Algorithms.ListInsertionSort
Algolean.Algorithms.ListLinearSearch
Algolean.Algorithms.ListOrderedInsert
Algolean.Algorithms.MergeSort
Algolean.Algorithms.NaivePatternSearch
Algolean.Algorithms.RandomQuicksort
Algolean.Algorithms.Strassen
Algolean.Algorithms.VecBubbleSort
Algolean.Algorithms.VecSearch
Algolean.Algorithms.WordRAMLinearSearch
Algolean.Complexity.Basic
Algolean.Complexity.PolytimeBasicClasses
Algolean.FreeWP.Effects
Algolean.FreeWP.WP
Algolean.LowerBounds.ComparisonSort
Algolean.Models.Arithmetic
Algolean.Models.Circuits
Algolean.Models.Comparison
Algolean.Models.FanInTwoCircuits
Algolean.Models.GenericGroup
Algolean.Models.ListComparisonSearch
Algolean.Models.ListComparisonSort
Algolean.Models.ListDataStructs
Algolean.Models.RandomSample
Algolean.Models.ReadOnlyVec
Algolean.Models.ReadWriteVec
Algolean.Models.RobertsonWebb
Algolean.Models.SingleTapeTM
Algolean.Models.SingleTapeTMSyntax
Algolean.Models.UniformSample
Algolean.Models.WordRAM
Algolean.Algorithms.Quantum.BoolFun
Algolean.Algorithms.Quantum.DeutschJozsa
Algolean.Algorithms.Quantum.HadamardLayer
Algolean.Models.Quantum.Circuit
Algolean.Models.Quantum.Embed
Algolean.Models.Quantum.Hadamard
Algolean.Models.Quantum.Indexing
Algolean.Models.Quantum.Oracle
Algolean.Models.Quantum.Spec
Algolean.Algorithms.Circuits.FanInTwo.LogAnd
Algolean.Models.SingleTapeTM.Alphabet.Basic
Algolean.Models.SingleTapeTM.Alphabet.Encoding
Algolean.Models.SingleTapeTM.Alphabet.List
Algolean.Models.SingleTapeTM.Alphabet.Pair
Algolean.Models.SingleTapeTM.Composition.Basic
Algolean.Models.SingleTapeTM.Composition.Branch
Algolean.Models.SingleTapeTM.Composition.Component
Algolean.Models.SingleTapeTM.Composition.Frame
Algolean.Models.SingleTapeTM.Composition.Functions
Algolean.Models.SingleTapeTM.Composition.KarpReduction
Algolean.Models.SingleTapeTM.Composition.MachineComposition
Algolean.Models.SingleTapeTM.Composition.Oracle
Algolean.Models.SingleTapeTM.Composition.Relabel
Algolean.Models.SingleTapeTM.Composition.Sequential
Algolean.Models.SingleTapeTM.Composition.TuringReduction
Algolean.Models.SingleTapeTM.Composition.While
Imported by