Talk:KOS: Difference between revisions

Jump to navigation Jump to search
104 bytes added ,  01:31, 11 February 2020
no edit summary
No edit summary
No edit summary
 
Line 1: Line 1:
Is kOS actually written in K? [[User:Adám Brudzewsky|Adám Brudzewsky]] ([[User talk:Adám Brudzewsky|talk]])
Is kOS actually written in K? [[User:Adám Brudzewsky|Adám Brudzewsky]] ([[User talk:Adám Brudzewsky|talk]])
:It is my understanding that the user-level programs are in K. For example, [http://www.kparc.com/edit.k this] is the text editor. However, the kOS "kernel" is C; Geo Carncross seems to [https://news.ycombinator.com/item?id=8476238 say so in this HN comment].  [[User:Matt|Matt]] ([[User talk:Matt|talk]]) 15:43, 10 February 2020 (UTC)
:It is my understanding that the user-level programs are in K. For example, [http://www.kparc.com/edit.k this] is the text editor. However, the kOS "kernel" is C; Geo Carncross seems to [https://news.ycombinator.com/item?id=8476238 say so in this HN comment].  [[User:Matt|Matt]] ([[User talk:Matt|talk]]) 15:43, 10 February 2020 (UTC)
:: Updated accordingly [[User:Adám Brudzewsky|Adám Brudzewsky]] ([[User talk:Adám Brudzewsky|talk]])

Navigation menu