Skip to content

Tutorial conclusion

Nick Miyake edited this page Oct 17, 2017 · 1 revision

The tutorial is now complete -- the end state is that we have a fully functioning repository that is formatted, checked, built distributed and published using gödel.