diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2015-06-10 13:15:34 +0200 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2015-06-10 13:15:34 +0200 |
| commit | fed01a1e7869ee3f0dab9784fa2bcc8565b9e60d (patch) | |
| tree | 398c1ac640a0d86acbaf6628c33497f53e6f89f9 /Examples.agda | |
| parent | d8ed3c5d8bb02c626b3d263ed9d6a4bcb5836ae0 (diff) | |
| download | bidiragda-fed01a1e7869ee3f0dab9784fa2bcc8565b9e60d.tar.gz | |
use "module _" to simplify types involving Get records
Diffstat (limited to 'Examples.agda')
0 files changed, 0 insertions, 0 deletions