corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08794-4d23-73fa-bf8e-466cc0942ce5

Teaching OCaml and Prolog through Jupyter Notebooks

kcsrk.info · published 19 January 2020

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at kcsrk.info Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
24
Words captured
1,305

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://fplaunchpad.github.io/cs3100_f19/
fplaunchpad.github.io
https://www.cs.cornell.edu/courses/cs3110/2019sp/
cs.cornell.edu
https://www.cl.cam.ac.uk/teaching/1718/L28/
cl.cam.ac.uk
https://www.cs.cornell.edu/courses/cs3110/2019sp/textbook/intro/3110.html
cs.cornell.edu
https://arxiv.org/abs/0804.3434
arxiv.org
https://www.cl.cam.ac.uk/teaching/1819/Prolog/
cl.cam.ac.uk
https://mitpress.mit.edu/books/art-prolog-second-edition
mitpress.mit.edu
https://fplaunchpad.github.io/cs3100_f19/lectures/lec11/lec11.pdf
fplaunchpad.github.io
https://fplaunchpad.github.io/cs3100_f19/lectures/lec25/lec25.pdf
fplaunchpad.github.io
https://github.com/fplaunchpad/cs3100_f19/blob/gh-pages/assignments/assignment6.ipynb
github.com
https://opam.ocaml.org/packages/utop/
opam.ocaml.org
https://github.com/akabe/ocaml-jupyter
github.com
https://github.com/targodan/jupyter-swi-prolog
github.com
https://github.com/kayceesrk/jupyter-swi-prolog
github.com
https://www.mathjax.org/
mathjax.org
https://github.com/damianavila/RISE
github.com
https://github.com/fplaunchpad/cs3100_f19/blob/gh-pages/_docker/dockerfile
github.com
https://hub.docker.com/r/kayceesrk/cs3100_iitm
hub.docker.com
https://github.com/fplaunchpad/cs3100_f19
github.com
https://nbgrader.readthedocs.io/en/stable/
nbgrader.readthedocs.io
https://fplaunchpad.github.io/cs3100_f19/assignments/
fplaunchpad.github.io
https://github.com/kayceesrk/egal
github.com
New helper added: draw.io – Draw and share UML, shemas and mockups. Read at the source ↗
draw.io
https://github.com/yuce/pyswip/issues/68
github.com