L-TChen/vim-dark-mode-switcher L-TChen/vim-dark-mode-switcher

  • This repository has been archived on 08/Dec/2019
  • Stars
    star
    1
  • Language
    Vim Script
  • Created about 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
L-TChen/vim-dark-mode-switcher
github

L-TChen

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Just a vimscript which sets the Vim background to dark or light depending on system-wide setup

More Repositories

1

MtacAR

Mtac in Agda
Agda
28
star
2

Type-Theory

Lecture note on Lambda Calculus and Types for FLOLAC
TeX
26
star
3

BiSig

Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically
TeX
21
star
4

ModalTypeTheory

Agda
21
star
5

auto-dark-mode.vim

A MacVim plugin for switching between dark and light modes automatically.
Vim Script
17
star
6

FiniteSets

Fintie Sets in Cubical Agda
Agda
12
star
7

FLOLAC-semantics

Lecture notes on semantics for FLOLAC'14
TeX
9
star
8

FindUnion

An imperative implementation of disjoint-set data structure in Haskell
Haskell
6
star
9

provability

Agda
5
star
10

PCF-Nominal

A formalisation of PCF in Agda using naive nominal binding
Agda
5
star
11

STLC

Simply typed lambda calculus in Agda
Agda
3
star
12

docker-agda

Dockerfile
2
star
13

proof-relevant-lp

Agda
1
star
14

L-TChen.github.io

TeX
1
star