This repository was archived by the owner on Mar 16, 2024. It is now read-only.

Added real type#16

Open

juliaofferman wants to merge 38 commits intoSaswatPadhi:masterfrom

juliaofferman:master

Commits on Jul 7, 2020

Update App.ml
juliaofferman
authored

Commits on Jul 31, 2020

Commits on Aug 6, 2020

Commits on Aug 8, 2020

Add additional tests
juliaofferman
authored

Commits on Aug 13, 2020

Fix negation
juliaofferman
authored

Commits on Nov 19, 2020