Skip to content

Instantly share code, notes, and snippets.

View kaychaks's full-sized avatar
🦥

Kaushik Chakraborty kaychaks

🦥
View GitHub Profile
@kaychaks
kaychaks / sum_types.erl
Last active August 29, 2015 14:26
Automated Reasoning in Erlang
%%
%% Inspired from http://phdp.github.io/posts/2015-04-05-automated-reasoning.html
%%
-module(sum_types) .
-export([simplify/1,print/1,main/0]) .
-type expr() :: myvar(string()) | const(integer()) | add(expr(),expr()) | mul(expr(),expr()) .
-type myvar(A) :: {var,A} .
  1. Feature Learning
  1. Deep Learning

Keybase proof

I hereby claim:

  • I am kaychaks on github.
  • I am kaushikc (https://keybase.io/kaushikc) on keybase.
  • I have a public key whose fingerprint is 7D28 A83E 1A1C CE87 4E3B DC12 604E 119F FCEF F635

To claim this, I am signing this object: