poly
No description available.
파일 탐색기
최종 버전 다운로드 (.zip)- main.yml
- P3-Bimodules.tex
- lens.agda
- fib.agda
- core.agda
- int.agda
- io.agda
- list.agda
- Stream.agda
- chu.agda
- dyn.agda
- functors.agda
- poly0.agda
- prelude.agda
- dyn.idr
- poly_up_to_fibonacci.idr
- Book-Poly-depricated.tex
- P0-Preface-depricated.tex
- P1-Polynomials-depricated.tex
- P2-Comonoids-depricated.tex
- P3-Vistas-depricated.tex
- refs.bib
- tikz_stuff.tex
- temp-intro.tex
- .gitignore
- Book-Poly.tex
- katie_discussion.txt
- LICENSE
- P0-Preface.tex
- P1-Polynomials.tex
- P2-Comonoids.tex
- P3-Vistas.tex
- README.md
- refs.bib
- tikz_stuff.tex
// repository documentation
Was this content helpful?
(0 ratings)
