Home
About
Contact
Reading List
Archive
RSS
Atom
Hedonistic Learning
Learning for the fun of it
Understanding typing judgments
April 13, 2016 02:41 UTC
Tags:
Agda
,
type theory
Recent
2017-04-09 -
Djinn in your browser
2016-11-25 -
Category Theory, Syntactically
2016-11-10 -
Constant-time Binary Logarithm
2016-09-23 -
Quotient Types for Programmers
2016-05-07 -
Constructivist Motto
2016-05-05 -
The Mistake Everyone Makes with KnockoutJS
2016-04-13 -
Understanding typing judgments
2015-12-04 -
High dimensional thought experiment from Hamming
2015-11-17 -
Behavioral Reflection
2015-11-02 -
You know more about presheaves than you think
Tags
Agda (1)
CS (3)
category theory (3)
geometric algebra (1)
javascript (1)
math (7)
programming (2)
type theory (2)