favonia/hdtt2020-notes favonia/hdtt2020-notes

  • This repository has been archived on 24/Oct/2021
  • Stars
    star
    35
  • Rank 750,836 (Top 15 %)
  • Language
    TeX
  • License
    Creative Commons ...
  • Created almost 5 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
favonia/hdtt2020-notes
github

favonia

Reviews

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

Repository Details

More Repositories

1

homotopy

My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
Agda
25
star
2

ocaml-objdump

πŸ–¨οΈ Printing OCaml Runtime Representations
OCaml
7
star
3

pulse

Haskell binding to PulseAudio (incomplete and halted)
Haskell
6
star
4

cbpv

Call-by-push-value in Celf
6
star
5

latedays

πŸƒ Management of late day requests using Google Forms and Google Sheets
TypeScript
2
star
6

moe-unicode-cns-map

JavaScript
1
star
7

tscs-tools

Tools for TSCS questionnaires
Haskell
1
star