Please enable JavaScript in your browser!
Inicio
Explorar
Axuda
Iniciar sesión
akshay
/
dhall-concourse
réplica de
https://github.com/akshaymankar/dhall-concourse
Seguir
1
Destacar
0
Fork
0
Ficheiros
Incidencias
0
Wiki
Rama:
tutorial
Ramas
Etiquetas
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
101 B
Permalink
Histórico
Raw
1
2
3
4
5
6
7
let Step =
∀(Step : Type)
→ ./StepConstructors.dhall Step
→ Step
in Step
