superfunc/tp

Issues

• Consider Different Structure

  #5 opened 7 years ago by superfunc
  3

• Add dependently typed variants for existing API

  #4 opened 7 years ago by superfunc
  0

• Remove nontotal functions

  #3 opened 7 years ago by superfunc
  0

• Add more examples

  #2 opened 7 years ago by superfunc
  0

• Clean up pack/unpack nonsense

  #1 opened 7 years ago by superfunc
  0