corpus/idris/edwinb-ws-idr at main · esovm/corpus · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
WS-idr @ 4c04a45		WS-idr @ 4c04a45
Dockerfile		Dockerfile
project.json		project.json