Please enable JavaScript in your browser!
Home
Explore
Help
Sign In
akshay
/
dhall-concourse
mirror of
https://github.com/akshaymankar/dhall-concourse
Watch
1
Star
0
Fork
0
Files
Issues
0
Wiki
Branch:
master
Branches
Tags
WIP
better-package
fly-less
groups
master
non-recursive
tutorial
wip-package-consolidation
with-json-exts
0.9.0
0.8.0
0.7.0
0.6.2
0.6.1
0.6.0
0.5.1
0.5.0-rc.2
0.5.0-rc.1
0.5.0
0.4.0-rc.1
0.4.0
0.3.1-rc.2
0.3.1-rc.1
0.3.1
0.3.0-rc.3
0.3.0-rc.2
0.3.0-rc.1
0.3.0
0.2.2
0.2.1
0.2.0-rc.3
0.2.0-rc.2
0.2.0-rc.1
0.2.0
0.1.2-rc.1
0.1.2
0.1.1-rc.1
0.1.1
0.1.0-rc.2
0.1.0-rc.1
0.1.0
0.0.3
0.0.2
0.0.1
dhall-concou...
/
types
/
Step.dhall
Step.dhall
79 B
Permalink
History
Raw
1
2
let Step = ∀(Step : Type) → ./StepConstructors.dhall Step → Step in Step
