Commits

Show all
Author Commit Message Labels Comments Date
Paweł Wieczorek
* minor
Tags
release_2011_10_19
Paweł Wieczorek
* .
Paweł Wieczorek
* .
Paweł Wieczorek
* merge
Paweł Wieczorek
*
Branches
good_per_model
Paweł Wieczorek
* .
Branches
good_per_model
Paweł Wieczorek
* domains are related to functions
Branches
good_per_model
Paweł Wieczorek
* .
Branches
good_per_model
Paweł Wieczorek
* terminating finished
Branches
good_per_model
Paweł Wieczorek
* new file, tests.hs
Branches
good_per_model
Paweł Wieczorek
* fixed Nbe for variables in contexts
Branches
good_per_model
Paweł Wieczorek
* working on termination
Branches
good_per_model
Paweł Wieczorek
* .
Branches
good_per_model
Paweł Wieczorek
* dependend types for APP
Branches
good_per_model
Paweł Wieczorek
* app
Branches
good_per_model
Paweł Wieczorek
* reify supports dependent types
Branches
good_per_model
Paweł Wieczorek
.
Branches
good_per_model
Paweł Wieczorek
* fixed Extraction
Branches
good_per_model
Paweł Wieczorek
* Extraction.Eval for dependent types
Branches
good_per_model
Paweł Wieczorek
* better ignores
Branches
good_per_model
Paweł Wieczorek
* finished valid-theorem for App
Branches
good_per_model
Paweł Wieczorek
* APP for types works
Branches
good_per_model
Paweł Wieczorek
* NAT->NAT in model
Branches
good_per_model
Paweł Wieczorek
* shifting id
Branches
good_per_model
Paweł Wieczorek
* new nbe
Branches
good_per_model
Paweł Wieczorek
* new reify
Branches
good_per_model
Paweł Wieczorek
* adding dependent types
Branches
good_per_model
Paweł Wieczorek
* partial work on Valid
Branches
good_per_model
Paweł Wieczorek
* + Helper_FUN_2
Branches
good_per_model
Paweł Wieczorek
* fixed type system for dependent product
Branches
good_per_model
  1. Prev
  2. Next