#+TITLE: Have you ever packaged anything?
#+DATE: <2019-03-12 19:29>
#+AUTHOR: Musa Al-hassy
* Abstract :noexport:here_only_for_index_html:
Herein I try to make my current doctoral research accessible to the average person:
Extending dependently-typed languages to implement module system features in the core
language. It's something I can direct my family to, if they're inclined to know what it is
I've been doing lately.
The technical matter can be seen at the associated website
─The Next 700 Module Systems─ which includes a poster, slides, and a demo.
Excluding the abstract, this is my thesis proposal in three minutes (•̀ᴗ•́)و
* Content :ignore: