Skip to content

Mailbox :

  • Use idris-hedgehog to generate functions for equilibrium checking
    • NOTE: The goal is to, given a pair of types, generate all functions from one type to the other. (a, b : Type) -> Stream (a -> b)
  • /!\ Complete support for ipkg in sirdi ✅ 2022-03-07
    • Support cloning git ✅ 2022-02-06
    • NOTE: we need to pull the repository into a temp directory checkout and then copy back into sources
    • Support legacy instructions ✅ 2022-02-06
    • NOTE: We need to know where the ipkg file is, and then run the install script# Mailbox
  • split tasks into smaller files and use quick add to add items to them ✅ 2022-03-18
  • permutations Fin n -> a ✅ 2022-03-22
  • connect to the game controller ✅ 2022-03-21
  • finish preparing talk to BCS ✅ 2022-04-15
  • permutations, make a type that track values that have been plucked out
  • Setup the benchmark server
    • Install OS ✅ 2022-03-28
    • Setup SSH keys
    • Setup Mosh
    • Install Idris + Chez
    • Run some benchmarks ✅ 2022-04-10
    • Download some benchmarks ✅ 2022-04-10
    • Run the benchmarks ✅ 2022-04-10
  • submit apache-mime-types and tyttp to pack ✅ 2022-07-12
  • State machines to containers in Haskell
  • Functions to containers in haskell