Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
67afd2b4c98c9befd18c19f0ee9d94dc?s=128

Tim McGilchrist

lambda_foo
0 Followings 1 Followers 0 Stars
Dependently Typed State Machines
67afd2b4c98c9befd18c19f0ee9d94dc?s=48 lambda_foo
0
84
Code reuse through polymorphic variants
67afd2b4c98c9befd18c19f0ee9d94dc?s=48 lambda_foo
1
57
Either Error Success
67afd2b4c98c9befd18c19f0ee9d94dc?s=48 lambda_foo
0
61
Idris States: Dependent types, not just for vectors?
67afd2b4c98c9befd18c19f0ee9d94dc?s=48 lambda_foo
0
100
RAFT: Implementing Distributed Consensus with Erlang
67afd2b4c98c9befd18c19f0ee9d94dc?s=48 lambda_foo
4
580

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade