L-TChen/ModalTypeTheory L-TChen/ModalTypeTheory

  • Stars
    star
    21
  • Rank 1,084,038 (Top 22 %)
  • Language Agda
  • Created almost 5 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
L-TChen/ModalTypeTheory
github

L-TChen

Reviews

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

Repository Details

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

auto-dark-mode.vim

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

FiniteSets

Fintie Sets in Cubical Agda
Agda
12
star
6

FLOLAC-semantics

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

FindUnion

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

provability

Agda
5
star
9

PCF-Nominal

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

STLC

Simply typed lambda calculus in Agda
Agda
3
star
11

docker-agda

Dockerfile
2
star
12

proof-relevant-lp

Agda
1
star
13

L-TChen.github.io

TeX
1
star
14

vim-dark-mode-switcher

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