Skip to content

Activity

Showing most recent first

update about state of class

chrisamaphonepushed 1 commit to main • 7fac26f…6ddeafb • 
on Feb 29, 2024

remove column

chrisamaphonepushed 1 commit to main • be1efe1…7fac26f • 
on Feb 29, 2024

formatting

chrisamaphonepushed 1 commit to main • b130422…be1efe1 • 
on Feb 29, 2024

closing remarks slides

chrisamaphonepushed 1 commit to main • a3658e4…b130422 • 
on Feb 29, 2024

feb 20 notes

chrisamaphonepushed 1 commit to main • 4c5883e…a3658e4 • 
on Feb 20, 2024

in class exercises

chrisamaphonepushed 2 commits to main • caefb3e…4c5883e • 
on Feb 20, 2024

update lec3 notes

chrisamaphonepushed 1 commit to main • b877f82…caefb3e • 
on Feb 16, 2024

add twelf wiki link for stlc tutorial

chrisamaphonepushed 1 commit to main • 6c578fa…b877f82 • 
on Feb 16, 2024

added link to twelf-wasm

chrisamaphonepushed 1 commit to main • ab76e2c…6c578fa • 
on Feb 16, 2024

corrections in exercises

chrisamaphonepushed 1 commit to main • fe58319…ab76e2c • 
on Feb 15, 2024

updated stlc-inclass for thurs lecture

chrisamaphonepushed 1 commit to main • 4099070…fe58319 • 
on Feb 15, 2024

in class code file

chrisamaphonepushed 1 commit to main • c094ef9…4099070 • 
on Feb 13, 2024

index update

chrisamaphonepushed 2 commits to main • ea09852…c094ef9 • 
on Feb 13, 2024

stlc file

chrisamaphonepushed 1 commit to main • cb8f942…ea09852 • 
on Feb 13, 2024

add link to HHP to lec2 further reading

chrisamaphonepushed 1 commit to main • edaf86e…cb8f942 • 
on Feb 6, 2024

in class version of data.elf

chrisamaphonepushed 1 commit to main • 5153181…edaf86e • 
on Feb 6, 2024

correct code link for lec2

chrisamaphonepushed 1 commit to main • 7740c94…5153181 • 
on Feb 6, 2024

starter file for lec 2

chrisamaphonepushed 1 commit to main • b3c49d4…7740c94 • 
on Feb 6, 2024

add church curry paper link

chrisamaphonepushed 1 commit to main • 11a5d18…b3c49d4 • 
on Feb 6, 2024

formatting

chrisamaphonepushed 1 commit to main • 6adf490…11a5d18 • 
on Feb 6, 2024

lec2

chrisamaphonepushed 1 commit to main • efdddfa…6adf490 • 
on Feb 6, 2024

vim files

chrisamaphonepushed 1 commit to main • 9051ae5…efdddfa • 
on Jan 30, 2024

typo

chrisamaphonepushed 1 commit to main • aeae1d5…9051ae5 • 
on Jan 30, 2024

lec1 code

chrisamaphonepushed 1 commit to main • 7097f30…aeae1d5 • 
on Jan 30, 2024

add slides

chrisamaphonepushed 1 commit to main • dc2e58f…7097f30 • 
on Jan 29, 2024

lec1

chrisamaphonepushed 2 commits to main • ebf62d6…dc2e58f • 
on Jan 29, 2024

lec1

chrisamaphonepushed 1 commit to main • 72f5417…ebf62d6 • 
on Jan 29, 2024

minor formatting

chrisamaphonepushed 1 commit to main • da4d7a6…72f5417 • 
on Jan 28, 2024

more info

chrisamaphonepushed 1 commit to main • 7b0cbc0…da4d7a6 • 
on Jan 28, 2024

minor formatting

chrisamaphonepushed 1 commit to main • 7a6779e…7b0cbc0 • 
on Jan 28, 2024