Steve Dunham
63687499dc
Also clean up some comments. We now have types in constraints, but are still using values from context.
7 lines
58 B
Agda
7 lines
58 B
Agda
module Possible
|
|
|
|
import Prelude
|
|
|
|
foo : Nat → Nat
|
|
foo ()
|