Skip to content
View Kazark's full-sized avatar
  • Undisclosed

Organizations

@PolyglotSymposium @ZuluSquad @FunctioningIdiots

Block or report Kazark

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. VsVim VsVim Public

    Forked from VsVim/VsVim

    Vim Emulator Plugin for Visual Studio 2010+

    C#

  2. Intuitionist logic is by no means de... Intuitionist logic is by no means denying the law of excluded middle!
    1
    module NotNotLEM
    2
    
                  
    3
    %default total
    4
    %access public export
    5
    
                  
  3. PolyglotSymposium/pyrgos PolyglotSymposium/pyrgos Public

    A tower of languages/a collection of toy languages

    Haskell 3 2

  4. Curry-Howard Tutorial in Literate Ha... Curry-Howard Tutorial in Literate Haskell
    1
    This is a tutorial on the Curry-Howard correspondence, or the correspondence
    2
    between logic and type theory, written by Keith Pinson, who is still a learner
    3
    on this subject. If you find an error, please let me know.
    4
    
                  
    5
    This is a Bird-style literate Haskell file. Everything is a comment by default.
  5. Basic definition of an algebra off t... Basic definition of an algebra off the top of my head (not level-polymorphic) (without looking at stdlib)
    1
    module Alg where
    2
    
                  
    3
    open import Data.Nat using (ℕ; zero; suc)
    4
    import Relation.Binary.PropositionalEquality as Eq
    5
    open Eq using (_≡_)
  6. spacemacs spacemacs Public

    Forked from syl20bnr/spacemacs

    A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

    Emacs Lisp