jon.recoil.org / jsoo-code-mirror
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Add opam universe metadata to foundations notebooks

Each foundations lecture now specifies @x-ocaml.universe and
@x-ocaml.worker so interactive code cells use the correct opam
package set.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Jon Ludlam's Agent 30d102f8 c3db256b

+32
+3
site/notebooks/foundations/foundations1.mld
··· 1 1 {0 Lecture 1: Introduction to Programming} 2 2 3 + @x-ocaml.universe /_opam 4 + @x-ocaml.worker /_opam/worker.js 5 + 3 6 {1 Basic Concepts in Computer Science} 4 7 {ul {- Computers: a child can use them; {b nobody} can fully understand them! 5 8 }{- We can master complexity through levels of abstraction.
+3
site/notebooks/foundations/foundations10.mld
··· 1 1 {0 Lecture 10: Queues and Search Strategies} 2 2 3 + @x-ocaml.universe /_opam 4 + @x-ocaml.worker /_opam/worker.js 5 + 3 6 {@ocaml hidden[ 4 7 type 'a tree = Lf | Br of 'a * 'a tree * 'a tree 5 8 ]}
+3
site/notebooks/foundations/foundations11.mld
··· 1 1 {0 Lecture 11: Elements of Procedural Programming} 2 2 3 + @x-ocaml.universe /_opam 4 + @x-ocaml.worker /_opam/worker.js 5 + 3 6 {1 Procedural Programming} 4 7 {ul {- Procedural programs can change the machine state. 5 8 }{- They can interact with its environment
+3
site/notebooks/foundations/foundations2.mld
··· 1 1 {0 Lecture 2: Recursion and Efficiency} 2 2 3 + @x-ocaml.universe /_opam 4 + @x-ocaml.worker /_opam/worker.js 5 + 3 6 {1 Expression Evaluation} 4 7 5 8 Expression evaluation concerns expressions and the values they return. This
+3
site/notebooks/foundations/foundations3.mld
··· 1 1 {0 Lecture 3: Lists} 2 2 3 + @x-ocaml.universe /_opam 4 + @x-ocaml.worker /_opam/worker.js 5 + 3 6 {1 Introduction} 4 7 5 8 {@ocaml run-on=load[
+3
site/notebooks/foundations/foundations4.mld
··· 1 1 {0 Lecture 4: More on Lists} 2 2 3 + @x-ocaml.universe /_opam 4 + @x-ocaml.worker /_opam/worker.js 5 + 3 6 {1 List Utilities: take and drop} 4 7 5 8 This lecture examines more list utilities, illustrating more patterns of
+3
site/notebooks/foundations/foundations5.mld
··· 1 1 {0 Lecture 5: Sorting} 2 2 3 + @x-ocaml.universe /_opam 4 + @x-ocaml.worker /_opam/worker.js 5 + 3 6 A few applications for sorting and arranging items into order are: 4 7 {ul {- search 5 8 }{- merging
+2
site/notebooks/foundations/foundations6.mld
··· 1 1 {0 Lecture 6: Datatypes and Trees} 2 2 3 + @x-ocaml.universe /_opam 4 + @x-ocaml.worker /_opam/worker.js 3 5 @x-ocaml.requires tyxml,mime_printer,tyxml.functor 4 6 5 7 {@ocaml run-on=load hidden[
+3
site/notebooks/foundations/foundations7.mld
··· 1 1 {0 Lecture 7: Dictionaries and Functional Arrays} 2 2 3 + @x-ocaml.universe /_opam 4 + @x-ocaml.worker /_opam/worker.js 5 + 3 6 {1 Dictionaries} 4 7 {ul {- lookup: find an item in the dictionary 5 8 }{- update (insert): replace (store) an item in the dictionary
+3
site/notebooks/foundations/foundations8.mld
··· 1 1 {0 Lecture 8: Functions as Values} 2 2 3 + @x-ocaml.universe /_opam 4 + @x-ocaml.worker /_opam/worker.js 5 + 3 6 In OCaml, functions can be 4 7 {ul {- passed as arguments to other functions, 5 8 }{- returned as results,
+3
site/notebooks/foundations/foundations9.mld
··· 1 1 {0 Lecture 9: Sequences, or Lazy Lists} 2 2 3 + @x-ocaml.universe /_opam 4 + @x-ocaml.worker /_opam/worker.js 5 + 3 6 {1 A Pipeline} 4 7 5 8 {math