LambdaQs / lambda-qs

Formalization of λ-Q#, a core calculus for Q# programming language

http://ks.cs.uchicago.edu/project/qsharp-essence/

Geek Repo

Github PK Tool