Index of:

 Name                    Last modified      Size  
 Parent Directory                             -   
 metanorma.pdf           2020-05-04 23:19  456K  
 metanorma.adoc.gz       2020-05-04 23:19  8.4K  
 README.md               2020-05-04 23:19  433   

Hosted on andromeda.local