https://granule-project.github.io/granule.html https://granule-project.github.io/ https://granule-project.github.io/meeting.html https://granule-project.github.io/people.html https://granule-project.github.io/projects.html https://granule-project.github.io/research.html https://granule-project.github.io/security.html https://granule-project.github.io/splv23.html https://granule-project.github.io/talks.html https://granule-project.github.io/synth-tutorial.html https://granule-project.github.io/ace-csr-poster.pdf 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/ 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Bool.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Cake.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Choice.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Coffee.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Either.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Existential.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/File.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Fin.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Fix.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Foo.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Graph.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/List.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Maybe.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Nat.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Parallel.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Prelude.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Primitives.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Result.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Stack.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/State.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/Vec.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/modules/unknown.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/docs/template.html 2026-03-23T11:25:05+00:00 https://granule-project.github.io/papers/LOPSTR_2020_paper_post_proceedings.pdf 2026-03-23T11:25:05+00:00 https://granule-project.github.io/papers/deriving-graded-dist.pdf 2026-03-23T11:25:05+00:00 https://granule-project.github.io/papers/distributive_laws_journal.pdf 2026-03-23T11:25:05+00:00 https://granule-project.github.io/papers/ecoop22-paper.pdf 2026-03-23T11:25:05+00:00 https://granule-project.github.io/papers/esop22-paper.pdf 2026-03-23T11:25:05+00:00 https://granule-project.github.io/papers/security-coeffects-mycroftfest.pdf 2026-03-23T11:25:05+00:00 https://granule-project.github.io/papers/towards-graded-modal-dependent-types.pdf 2026-03-23T11:25:05+00:00 https://granule-project.github.io/splv23/iccs-programming-for-the-future.pdf 2026-03-23T11:25:05+00:00 https://granule-project.github.io/splv23/splv23-exercises.pdf 2026-03-23T11:25:05+00:00 https://granule-project.github.io/splv23/splv23-slides-part1.pdf 2026-03-23T11:25:05+00:00 https://granule-project.github.io/splv23/splv23-slides-part2.pdf 2026-03-23T11:25:05+00:00 https://granule-project.github.io/splv23/splv23-slides-part3.pdf 2026-03-23T11:25:05+00:00 https://granule-project.github.io/splv23/splv23-slides-part4.pdf 2026-03-23T11:25:05+00:00