Commit graph

2 commits

Author SHA1 Message Date
Jeremy Penner 6d46d0f638 implement math, tweak syntax 2022-03-27 12:26:26 -04:00
Jeremy Penner e1e0e168b6 implement inference rules 2022-03-27 00:10:37 -04:00