Commit 6fa35f78 authored by Nicola Botta's avatar Nicola Botta
Browse files

Initial.

parent 017ee79e
module Math.Interfaces
public export
interface (Num ty) => Math ty where
exp : ty -> ty
sin : ty -> ty
cos : ty -> ty
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment