mirror of
https://github.com/danbulant/github-moment
synced 2026-05-19 04:18:46 +00:00
67 lines
No EOL
7.9 KiB
Agda
67 lines
No EOL
7.9 KiB
Agda
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
........................................................................................................................
|
|
................................................................................ |