ckoparkar/tt101 ckoparkar/tt101

  • This repository has been archived on 17/Dec/2021
  • Stars
    star
    1
  • Language Agda
  • Created about 8 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ckoparkar/tt101
github

ckoparkar

Reviews

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

Repository Details

Type-theory 101. Integers, booleans, lists, vectors and some proofs about their properties

More Repositories

1

awesome-wm-config

Configuration files for Awesome WM.
Lua
3
star
2

unfoldings

A simple experiment to see if we can fetch definitions (unfoldings) of the transitive closure of a module from a GHC Plugin.
Haskell
2
star
3

dotfiles

Lunix configuration files
Shell
2
star
4

service-broker-api

Generic api to implement CF service brokers.
Ruby
1
star
5

llvm-hs183

Minimal testcase for llvm-hs183
Haskell
1
star
6

dotemacs

Emacs configuration
Emacs Lisp
1
star
7

gibbon-ghc

Gibbon primitives implemented in GHC and some benchmarks
Haskell
1
star
8

arch-llvm6

LLVM 6 binaries for Arch
1
star
9

ocaml-benchmarks

OCaml
1
star