info.hupel

isabelle

package isabelle

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. isabelle
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. type HTML = TypedTag[String]

  2. type Program[A] = Free[Instruction, A]

  3. type XMLResult[+A] = Either[(String, Body), A]

Value Members

  1. implicit def cancelableFutureMonad(implicit ec: ExecutionContext): Monad[CancelableFuture]

  2. package japi

  3. package setup

    Tools for setting up an Isabelle installation and managing Isabelle sources and environments at runtime.

Inherited from AnyRef

Inherited from Any

Ungrouped