| .. |
|
Base.agda
|
f7db0ca658
working coverage checker
|
%!s(int64=17) %!d(string=hai) anos |
|
CReal.agda
|
6311bbb613
[ Operator parser ] Support for sections.
|
%!s(int64=9) %!d(string=hai) anos |
|
Complete.agda
|
9485444ae0
major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)
|
%!s(int64=18) %!d(string=hai) anos |
|
Gauge.agda
|
9485444ae0
major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)
|
%!s(int64=18) %!d(string=hai) anos |
Nils Anders Danielsson
6311bbb613
[ Operator parser ] Support for sections.