8000 frantisekfarka (František Farka) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View frantisekfarka's full-sized avatar
5 followers · 0 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report frantisekfarka

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. CoALP CoALP Public

    Coalgebraic Logic Programing itnerpreter

    Haskell

  2. cotcr cotcr Public

    Formalisation of a proof of soundness of corecursive type-class resolution

    Agda

  3. slepice slepice Public

    Coq 2 1

  4. ac21007_lab ac21007_lab Public

    Dundee AC21007 Haskell lab assignments

    TeX 1

  5. ghc-dsi ghc-dsi Public

    GHC Default Superclass Instances extension

    Haskell

  6. ghc-examples ghc-examples Public

    Example sources for compilation with ghc-dsi

    Haskell

0