Loading [Contrib]/a11y/accessibility-menu.js

hylolib-1.5.4: Tools for hybrid logics related programs

Safe Haskell	None
Language	Haskell2010

HyLo.InputFile

Documentation

type InputFile = [Formula NomSymbol PropSymbol RelSymbol] Source #

parse :: String -> InputFile Source #

myparse :: String -> ParseOutput Source #

write :: (Show n, Show p, Show r) => [Formula n p r] -> String Source #

parseOldFormat :: String -> OldInputFile Source #

type OldInputFile = [Formula NomSymbol PropSymbol RelSymbol] Source #

You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result