hazel's dependent typing playground, I guess
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 

106 B

Revision history for dep

0.1.0.0 -- YYYY-mm-dd

  • First version. Released on an unsuspecting world.