All posts
- 2014-12-16, Approaches to carry a proof for typelevel natural
- 2013-12-30, Playing with types: type level numbers
Browse Tags:
C (2), Haskell (2), OpenRC (1), RTS (2), benchmarks (2), cgroups (1), configuration (1), exceptions (1), gentoo (4), ghci (1), hakyll (2), haskell (20), latex (1), linux (3), math (2), metrics (1), nix (1), openrc (1), pam (1), performance (1), phys (1), programming (1), projects (1), resourcet (1), supervision (1), tips (1), typefun (1), typenats (2), univ (1), web (2)
Links: