48 lines
1.2 KiB
Plaintext
48 lines
1.2 KiB
Plaintext
concepts:
|
|
- learning targets
|
|
- can relate to other concepts in the following ways:
|
|
- concept A "depends" on concept B; explaining concept A requires some
|
|
information from concept B
|
|
- concept A "optdepends" on concept B
|
|
- concept A "satisfies" concept B; mastery of concept A implies mastery of
|
|
concept B
|
|
|
|
topics:
|
|
- groups of concepts
|
|
- can nest infinitely
|
|
|
|
"reviews" are randomly constructed sets of activities
|
|
|
|
each user has a mastery level for each concept
|
|
|
|
references:
|
|
- super memo algorithm used by anki: https://en.wikipedia.org/wiki/SuperMemo#Description_of_SM-2_algorithm
|
|
|
|
---
|
|
|
|
ocaml should have a runner studentModule, which just puts the student code into
|
|
a file called student.ml
|
|
|
|
the material file defines a student.mli, as well as a driver.ml, then they all
|
|
get called using:
|
|
|
|
```
|
|
ocamlc -c student.mli # produces student.cmi
|
|
ocamlc -c student.ml # produces student.cmo
|
|
ocaml student.cmo driver.ml
|
|
```
|
|
|
|
probably should have like $OCAMLCFLAGS in there to be able to customize each
|
|
step as well
|
|
|
|
---
|
|
|
|
what are some good classes to start out with?
|
|
|
|
- functional programming
|
|
- ctfs?
|
|
- possibly a logic class for math
|
|
- proof class
|
|
- ML???? look into running it
|
|
- can we do reading????????????
|