Muhammad

icon company New York University icon location Abu Dhabi icon location Mathematics and Computer Science at New York University Abu Dhabi

Results 1 issues of Muhammad

How to use this?

3 comment

I'm new to agda and I can't figure out how to use this program. Any help will be appreciated.