Posts
-
Formalizing Diffie-Hellman key exchange and Discrete Logarithms in Agda
Formalizing Diffie-Hellman shared-secret correctness and discrete-logarithm uniqueness in Agda. -
Solving Sudoku with effect handlers
Koka is a strongly typed functional-style language with effect types and handlers. In this post I attempt to solve the sudoku puzzle using Koka and its effect handlers.
subscribe via RSS