Skip to content

Add GADT symbols when typing typing-ahead lambda bodies #111

Add GADT symbols when typing typing-ahead lambda bodies

Add GADT symbols when typing typing-ahead lambda bodies #111

Triggered via push February 7, 2024 22:52
Status Success
Total duration 1m 19s
Artifacts

spec.yml

on: push
specification
1m 9s
specification
Fit to window
Zoom out
Zoom in