4 commits

Author	SHA1	Message	Date
Hyeonung Baek	dd2a1e160e	Add mod (working) and exp (not eval'ed yet)	2022-01-13 01:13:41 +09:00
Hyeonung Baek	6444f413ca	Few things	2022-01-11 01:05:29 +09:00
Hyeonung Baek	4e0d4dd9ac	Replace GADTs to normal datatypes	2022-01-10 23:28:44 +09:00
Hyeonung Baek	472cf4bebe	Initial Commit	2022-01-10 23:27:37 +09:00