Skip to content

andrew-johnson-4/andrew-johnson-4

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 

Repository files navigation

Hi, I'm Andrew Johnson

Make sure to drink plenty of water, not just coffee and tea.

2024 Roadmap (Working towards a verified kernel language)

Upcoming Planned Features

  • apply / chain / implicit context / type-context
  • ANSI C Frontend
  • LSTS Frontend

Request for Comment

If you feel like contributing to either LM or LSTS it would be enormously helpful to have anyone simply read a bit and ask a question. The projects are starting to grow to a size where it is hard to understand where a curious learner might get stuck. Different people have different backgrounds so it takes all shapes and sizes. Everyone is welcome, though I fear that the learning curves are still very steep.

Releases

No releases published

Packages

No packages published