X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Outline;h=bbcf46ad914c0e12a0a8615ef1786b1ff3c53db7;hp=75ed9325b671421963fd141190046b72c80bb97d;hb=e1224b075420c7bb5508121b694e8b315b835534;hpb=19c17205efa182b80916caa31afeadad9d2dd5b5 diff --git a/Outline b/Outline index 75ed932..bbcf46a 100644 --- a/Outline +++ b/Outline @@ -41,13 +41,11 @@ Future work * Multiple cycle descriptions * Higher order state * New language - Don't care +* Don't care TODO: Define user / developer -TODO: Comiler vs translator TODO: Hardware description / model vs program TODO: Separate compilation / Prelude -TODO: Add case binder removal transformation TODO: User-defined type classes (future work?) TODO: Entity / Architecture / Component vs Function? TODO: Expand on "representable" @@ -56,12 +54,9 @@ TODO: Variable vs binder TODO: simplification -> Normalisation? TODO: Use saturated (application) instead of complete (application)? TODO: core => Core -TODO: \defref{beta-reduction} -> \defref{β-reduction} -TODO: Make interaction links not bold TODO: Say something about implementation differences with transformation specs TODO: Say something about the builtin functions somewhere (ref: christiaan) -TODO: Reorder future work. TODO: Future work: Use Cλash TODO: Abstract TODO: Preface -TODO: strikethrough in pret-lam +TODO: Top level function -> top level binder