Pinned

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 2 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