 Nils Anders Danielsson
|
689c6aaa09
Moved away or fixed many broken example files.
|
%!s(int64=16) %!d(string=hai) anos |
 ulfn
|
a4d8e4bbdf
changed syntax for record fields in preparaton for fancy projection modules
|
%!s(int64=17) %!d(string=hai) anos |
|
ulfn
|
e1c256a43a
path example
|
%!s(int64=17) %!d(string=hai) anos |
|
ulfn
|
c2a391692d
span function in path example
|
%!s(int64=17) %!d(string=hai) anos |
|
ulfn
|
0615347f0c
generalised Terms in Path example
|
%!s(int64=17) %!d(string=hai) anos |
 patrikj
|
115008c608
White space fixes + more imports in All.agda
|
%!s(int64=17) %!d(string=hai) anos |
|
ulfn
|
7cfed35c00
path example: lookup Any in All
|
%!s(int64=17) %!d(string=hai) anos |
|
ulfn
|
f7fdb053a3
path example updates
|
%!s(int64=17) %!d(string=hai) anos |
|
ulfn
|
148194fe04
modal operators All and Any in path example
|
%!s(int64=17) %!d(string=hai) anos |
