Math.gf « multiple « grammars - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/grammars/multiple/Math.gf

blob: 6e6a48db6fbefd63f36351f84586b37659dea59f (plain)

abstract Math = {
  cat 
    Number ;
  fun
    MkNumber : Int -> Number ;
} ;