caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ js_amd_patch

Robert Estelle dfca348740 dev/vscode: Add official Haskell extension to recommended extensions		4 лет назад
..
extensions.json	dfca348740 dev/vscode: Add official Haskell extension to recommended extensions	4 лет назад