aboutsummaryrefslogtreecommitdiff

TotalOS

Totally functional x64 operating system in Idris 2

This project was created for for my university's course Programming with Dependent Types.

Potential partiality

  • The C (refc) backend of Idris is generally not as well tested as its Scheme backend. This includes the C helper functions (see kernel/c/rts/).
  • Foreign calls from Idris to C introduce (carefully considered) side effects.