Vaibhav pnat - Githubissues

vaibhavkarve / igl2020

Lean project for Fall 2020

https://vaibhavkarve.github.io/igl2020/model

7 stars 2 forks source link

Closed vaibhavkarve closed 3 years ago

vaibhavkarve commented 3 years ago

This commit was created by cherry-picking commits from vaibhav-pnat branch. Changes all mentions of nat in Func to positive nats.