the list is also incomplete! I used carnap for intro logic and my college isn't ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		imovie4 27 days ago \| parent \| context \| favorite \| on: Carnap – A formal logic framework for Haskell the list is also incomplete! I used carnap for intro logic and my college isn't there

ravenical 27 days ago [–]

My university's course (how I found out about it) isn't there either - seems like it's mostly US-focused

gleachkr 27 days ago | [–]

Y'all want to email me? I'll see about updating the list.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact