| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| meetings | ||
| cast-induction.txt | ||
| cbvgtt.tex | ||
| freyd-multicategories.tex | ||
| gcbpv.tex | ||
| impl.tex | ||
| operational-gtt.tex | ||
| polymorphic.org | ||
| recursive-types.org | ||
| strength.tex | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| meetings | ||
| cast-induction.txt | ||
| cbvgtt.tex | ||
| freyd-multicategories.tex | ||
| gcbpv.tex | ||
| impl.tex | ||
| operational-gtt.tex | ||
| polymorphic.org | ||
| recursive-types.org | ||
| strength.tex | ||