Introduction
Books
- Technical books
  Elements of Programming
- Psychology books
  Mindset
Computer Science
Programming
Competitive Programming
Source control
- Git
Programming languages
Networking
- TCP
- UDP
- QUIC
Mindfullness
- Mediatation
  Samatha
  Vipassana
- Flow
LLVM
- Clang tools
Operating systems
- Securing operating systems
  Capsicum
Linux
macOS
- macOS tools
  Hammerspoon
Windows
- Windows tools
  AutoHotkey
CLI
Technology
- Search
  Google
  DuckDuckGo
  Algolia
  Elastic search
Databases
Text editors
IDEs
- IntelliJ IDEA
  IDEA plugins
  IdeaVim
Philosophy
- Stoicism
  Parallels with Buddhism
- Buddhist philosophy
Learning
- Spaced Repetition
  Anki
History
- People
  Benjamin Franklin
Buddhism
- Theravada
  Dhammapada
  Eight Worldly Concerns
- Mahayana
  Zen
  Zen Koans
Psychology
- CBT
- Cognitive biases
Logic
Literature
Research
Papers
Courses
- Computer Science
Devops
Life
- Happiness
- Journaling
Meetups
Sports
Music
Podcasts
Movies
TV Series
Log
- 2019 logs
  September
  October
  November
  December
- 2020 logs
  January logs
  February logs
  March logs
  April logs
  May logs
  June logs
TIL
- TIL in 2020
  January
  February
  March
  April
  May
  June
  October
  November

Powered by GitBook

On this page

Programming

Functional programming

Dependent Types

Idris

Papers

Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation

PreviousAgda NextContinuations

Last updated 5 years ago