8 Forks
55 Stars
55 Watchers

hoogle_plus

Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

How to download and setup hoogle_plus

Open terminal and run command
git clone https://github.com/TyGuS/hoogle_plus.git
git clone is used to create a copy or clone of hoogle_plus repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with hoogle_plus https://github.com/TyGuS/hoogle_plus/archive/master.zip

Or simply clone hoogle_plus with SSH
[email protected]:TyGuS/hoogle_plus.git

If you have some problems with hoogle_plus

You may open issue on hoogle_plus support forum (system) here: https://github.com/TyGuS/hoogle_plus/issues

Similar to hoogle_plus repositories

Here you may see hoogle_plus alternatives and analogs

 awesomo    codeworld    blog    Project-Euler-solutions    pragmatapro    arl    compiler-explorer    postgrest    nvim-hs    constellation    Yampa    wire-server    marvin    patat    milewski-ctfp-pdf    graphql-engine    hython    zip    taffybar    eta    wiwinwlh    hledger    lux    intero    articles    purescript    cardano-sl    unison    haste-compiler    grenade