A proof-of-concept implementation of sparcl in Agda, in an intricately-typed style
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool