🌵
yay
Stars
- All languages
- Agda
- C
- C#
- C++
- COBOL
- CSS
- Clojure
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F#
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Makefile
- Nix
- OCaml
- PHP
- Perl
- PowerShell
- PureScript
- Python
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Shell
- Standard ML
- Starlark
- Svelte
- Swift
- TeX
- TypeScript
- UrWeb
- Verilog
- Vim Script
- Vue
1
star
written in Agda
Clear filter
An introductory course to Homotopy Type Theory