Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
README.md 2018-12-04 19:33 611
qsharp.ins 2018-12-04 18:48 1.1K
Install.ps1 2019-01-14 13:54 1.4K
qsharp.dtx 2019-01-14 13:52 4.8K
LICENSE 2019-01-14 13:27 19K